This paper describes version 2 of the NuSMV tool
NuSMV 2: An OpenSource Tool for Symbolic model Checking
Cimatti, Alessandro;Pistore, Marco;Roveri, Marco;
2002-01-01
Abstract
This paper describes version 2 of the NuSMV toolFile in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.