资料介绍
软件简介
Alloy 是用于描述结构(structure)的语言,也是探索结构的工具。从发现安全机制的漏洞到设计电话交换网络,它已被广泛用于各种应用中。
Alloy 4 是一个自包含的可执行文件,其中包括 Kodkod 模型查找器和各种 SAT 解算器,以及标准的 Alloy 库和一系列教程示例。可以将相同的 jar 文件合并到其他应用程序中,以将 Alloy 用作 API,并包含源代码。
要求:
Alloy 在使用最新 JVM(Java 6 或更高版本)的所有操作系统上运行。它可以与跨平台 SAT 求解器(Sat4j 和更有效的本机 SAT 求解器(minisat,lingeling/plingeling,glucose)一起作为可运行的 jar 文件使用。
但是请注意,从 macOS High Sierra 开始,必须安装专用的 JVM 才能在 macOS 上运行 Alloy。为此提供了一个 .pkg 文件。
- CN0540硬件描述语言设计 4次下载
- Verilog硬件描述语言的学习课件免费下载 17次下载
- 硬件描述语言VHDL及其应用的详细说明 21次下载
- 基于Verilog硬件描述语言的IEEE标准硬件描述语言资料合集免费下载 10次下载
- FPGA教程之AHDL硬件描述语言的详细资料说明 16次下载
- Verilog HDL硬件描述语言 11次下载
- 硬件描述语言VHDL 12次下载
- VHDL硬件描述语言 0次下载
- Verilog硬件描述语言 0次下载
- Verilog HDL硬件描述语言 0次下载
- Verilog硬件描述语言参考手册 0次下载
- verilog硬件描述语言课程讲义 33次下载
- VERILOG HDL硬件描述语言 0次下载
- VHDL硬件描述语言教学. 93次下载
- Verilog硬件描述语言描述. 101次下载
- fpga通用语言是什么 89次阅读
- fpga三种编程语言 96次阅读
- fpga用什么语言编程 551次阅读
- fpga用的是什么编程语言 fpga用什么语言开发 242次阅读
- fpga芯片用什么编程语言 89次阅读
- VHDL与Verilog硬件描述语言TestBench的编写 722次阅读
- 二十进制编码器及Verilog HDL描述 Verilog HDL程序的基本结构及特点 1121次阅读
- Verilog HDL的历史 FPGA硬件描述语言设计流程 624次阅读
- 使用Verilog/SystemVerilog硬件描述语言练习数字硬件设计 1175次阅读
- 工业机器人常用的七种编程语言 1.4w次阅读
- FPGA的几点重要总结 3899次阅读
- 常见的Verilog行为级描述语法 9780次阅读
- verilog语言基本语句_verilog语言词汇大全 9.4w次阅读
- vhdl语言编写 9秒倒计时器 6784次阅读
- verilog语言与c语言的区别 1.1w次阅读
下载排行
本周
- 1山景DSP芯片AP8248A2数据手册
- 1.06 MB | 532次下载 | 免费
- 2RK3399完整板原理图(支持平板,盒子VR)
- 3.28 MB | 339次下载 | 免费
- 3TC358743XBG评估板参考手册
- 1.36 MB | 330次下载 | 免费
- 4DFM软件使用教程
- 0.84 MB | 295次下载 | 免费
- 5元宇宙深度解析—未来的未来-风口还是泡沫
- 6.40 MB | 227次下载 | 免费
- 6迪文DGUS开发指南
- 31.67 MB | 194次下载 | 免费
- 7元宇宙底层硬件系列报告
- 13.42 MB | 182次下载 | 免费
- 8FP5207XR-G1中文应用手册
- 1.09 MB | 178次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 2555集成电路应用800例(新编版)
- 0.00 MB | 33566次下载 | 免费
- 3接口电路图大全
- 未知 | 30323次下载 | 免费
- 4开关电源设计实例指南
- 未知 | 21549次下载 | 免费
- 5电气工程师手册免费下载(新编第二版pdf电子书)
- 0.00 MB | 15349次下载 | 免费
- 6数字电路基础pdf(下载)
- 未知 | 13750次下载 | 免费
- 7电子制作实例集锦 下载
- 未知 | 8113次下载 | 免费
- 8《LED驱动电路设计》 温德尔著
- 0.00 MB | 6656次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935054次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537798次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420027次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191187次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183279次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138040次下载 | 免费
评论
查看更多