NuSMV installation | A model checking tool
A complete tutorial on NuSMV installation with a Demo of model checking using the NuSMV tool.
This is a tutorial about model checking carried out in Formal Methods.
NuSMV is a software tool used for the formal verification of system models.
Here is the Code of Model :
--------------------------------------------------------------
MODULE main
VAR
location: {l1, l2};
ASSIGN
init( location) :=l1;
next ( location) := case
location = l1 : l2;
location = l2 : l1;
esac;
-------------------------------------------------------------
Subscribe for more Updates
-------------------------------------------------------------
Like Share and Subscribe