文件名称：yasmv:yasmv-另一个符号模型验证器
文件大小：33.58MB
文件格式：ZIP
更新时间：2024-05-20 01:09:57
C
开发 掌握 关于 yasmv（另一个符号模型验证器）项目于2011年秋季启动，作为对NuSMV模型检查器的初步和部分C ++重新实现。 作为NuSMV开发团队的前任成员（在2008年至2011年之间），我从未完全对某些体系结构选择感到满意，这些选择源于NuSMV模型检查器的悠久历史和/或由于遗留的大量资源依赖它的代码和工具。 但是，随着时间的推移，该项目与重新实施NuSMV的最初目标大相径庭。 yasmv的输入语言现在是smv语言的方言，仅保留与NuSMV原始输入语言的部分兼容性。 在这方面，我的全部兴趣是探索提高语言表达能力和可用性的方法。 该项目现已进入一个阶段，在该阶段该程序可用于执行基本的可达性分析和逐步模拟。 源代码分发中包含一些示例，以演示如何使用该程序解决计划问题。 建造 这是构建依赖关系的完整列表。 这些软件包名称来自Travis CI中使用的Ubuntu 14.04（