An nuXMV-based model checker tool
In order to run the examples you can download nuXmv for https://nuxmv.fbk.eu and then, once installed run the following commands on the shell:
prompt > nuXmv -cpp -v 0 -load MeatSales_nusmvcmd.txt MeatSales.smv
prompt > nuXmv -cpp -v 0 -load PizzaDeliveryContract_nusmvcmd.txt PizzaDeliveryContract.smv