Symboleo Model Checker:使用nuXmv模型检查器工具验证Symboleo规范 源码

符号模型检查器 基于nuXMV的模型检查器工具 为了运行示例,您可以下载适用于nuXmv,然后在安装后在shell上运行以下命令: prompt > nuXmv -cpp -v 0 -load MeatSales_nusmvcmd.txt MeatSales.smv prompt > nuXmv -cpp -v 0 -load PizzaDeliveryContract_nusmvcmd.txt PizzaDeliveryContract.smv