IRIS

NuSMV 2: An opensource tool for symbolic model checking / Cimatti, A.; Clarke, E.; Giunchiglia, E.; Giunchiglia, F.; Pistore, M.; Roveri, M.; Sebastiani, R.; Tacchella, A.. - STAMPA. - 2404:(2002), pp. 359-364. (Intervento presentato al convegno CAV tenutosi a Copenhagen nel 27th July 2002) [10.1007/3-540-45657-0_29].

NuSMV 2: An opensource tool for symbolic model checking

Cimatti A.;Giunchiglia F.;Pistore M.;Roveri M.;Sebastiani R.;
2002-01-01
2002
Proceddings Int. Conference of Computer-Aided verification, CAV'02
Berlin
Spinger
978-3-540-43997-4
978-3-540-45657-5
2-s2.0-84937557946
Cimatti, A.; Clarke, E.; Giunchiglia, E.; Giunchiglia, F.; Pistore, M.; Roveri, M.; Sebastiani, R.; Tacchella, A.
NuSMV 2: An opensource tool for symbolic model checking / Cimatti, A.; Clarke, E.; Giunchiglia, E.; Giunchiglia, F.; Pistore, M.; Roveri, M.; Sebastiani, R.; Tacchella, A.. - STAMPA. - 2404:(2002), pp. 359-364. (Intervento presentato al convegno CAV tenutosi a Copenhagen nel 27th July 2002) [10.1007/3-540-45657-0_29].
File 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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/369586
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1150
  • ???jsp.display-item.citation.isi??? ND
social impact