只为小站
首页
域名查询
文件下载
登录
Spin软件安装组件.rar
Spin是模型检验的重要工具之一,资源中包含其在win环境下安装所需要的全部依赖资源,主要包含以下部分:源码、Tcl、gcc环境(MinGW和cygwin)。大部分资源下载都需要科学上网且速度较慢,资源中一并打包好了,欢迎下载。另外推荐两篇关于Spin模型检验的优秀博客,大家一起学习。
2021-11-11 16:21:01
137.86MB
spin
ActivateTcl
MinGW
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
计算机专业实习日记+实习周记+实习总结
MTALAB NSGA2算法
matlab时频分析工具箱+安装方法+函数说明+最新版tftb.
新型冠状病毒疫情_2020年东三省数学建模A题_论文展示
scratch版 我的世界.sb2
银行笔试 信息科技岗部分真题
代码随想录知识星球精华-大厂面试八股文第二版v1.2.pdf
数据结构课后习题答案
VideoDownloadHelper去除120分钟时间限制-高级版.zip
人体姿态检测
安卓开发期末大作业----单词本(源码,任务书,大报告,apk文件)(基于andord studio)
EEupdate_5.35.12.0 win10下修改intel网卡mac
基于OpenCV的车牌号码识别的Python代码(可直接运行)
MATLAB之LSTM预测
基于matlab的车牌识别系统设计
最新下载
PFC的PID控制_C语言离散化实现.rar
弹弹堂全套源码弹弹堂全套源码
弹弹堂游戏源码
AnAnLikeDrawing.aia 安安爱画画aia
基于MCGS的双液位控制系统设计
SuperVivi-Transfer-Tool-Complete
add-tradingview-alerts-tool:批量添加警报到TradingView(专为3Commas TV警报集成而设计)-源码
2024年电工杯数学建模竞赛A题解析.docx
全球国家边界矢量图
一步一步教你如何操作思科APIC控制器
其他资源
A*算法C++实现
数字信号处理刘顺兰版本针对第二版第三版答案
计算机网络(第七版)-谢希仁 第三章课后答案.docx
OK335XD uboot
BPSK信号和加性白噪声在经过平坦瑞利信道的误码率统计
织梦excel导入数据库
Python微信防撤回小程序
TeeChart v5完整破解版
GJB_Z141-2004 军用软件测试指南.zip
对称矩阵 cholesky 分解
IMX6Q 核心板的原理图和PCB.zip
swagger技术分享ppt
OpenGL开发库 openGL函数手册 opengl 参考手册
《拿什么保护我的电脑计算机病毒及预防》教案代光春.pdf
重庆邮电大学《无线与电波》历年期末考试试卷(含答案).pdf
VSCodeUserSetup-x64-1.43.2.zip
MemoryAnalyzer.zip
郁金香od+代码注入器
ASP.Net web application
spring任务task配置
务工人员管理系统[劳务公司适用]
3D物理传感器游戏——小球快跑
获取kinect的数据并在Qt中显示的类的设计
python 后台管理系统
libsvm-3.21
rootkit 系统灰色地带的潜伏着2
CRRedist2005_X64