Software Model Checking via Large-Block Encoding.

Cimatti, Alessandro;Griggio, Alberto;Sebastiani, Roberto
2009-01-01

2009
In Proceedings of the 9th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2009, Austin (TX), November 15-18), 2009. IEEE Computer Society Press, Los Alamitos (CA
LOS ALAMITOS, CA
IEEE Computer Society Press
9781424449668
D., Beyer; Cimatti, Alessandro; Griggio, Alberto; E., Keremoglu; Sebastiani, Roberto
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/75922
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 113
  • ???jsp.display-item.citation.isi??? ND
social impact