NuSMV_2.5.4 NuSMVisasymbolicmodelcheckerdevelopedasajointprojectbetweentheFormalMethodsgroupintheAutomatedReasoningSystemdivisionatITC-IRST,theModelCheckinggroupa