Software Model Checking via IC3 / Cimatti, Alessandro; Griggio, Alberto. - (2012). (Intervento presentato al convegno Computer Aided Verification - 24th International Conference, CAV 2012 tenutosi a Berkeley, CA, USA nel da 07/07/2012 a 13/07/2012) [10.1007/978-3-642-31424-7_23].

Software Model Checking via IC3

Alessandro Cimatti;Alberto Griggio
2012-01-01

2012
Proceedings of Computer Aided Verification - 24th International Conference, CAV 2012
Berlin, Heidelberg
Springer
Cimatti, Alessandro; Griggio, Alberto
Software Model Checking via IC3 / Cimatti, Alessandro; Griggio, Alberto. - (2012). (Intervento presentato al convegno Computer Aided Verification - 24th International Conference, CAV 2012 tenutosi a Berkeley, CA, USA nel da 07/07/2012 a 13/07/2012) [10.1007/978-3-642-31424-7_23].
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/343088
 Attenzione

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

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