Applying SMT in Symbolic Execution of Microcode / A., Franzen; Cimatti, Alessandro; A., Nadel; Sebastiani, Roberto; J., Shalev. - STAMPA. - (2010), pp. 121-128. ((Intervento presentato al convegno FMCAD 2010 tenutosi a Lugano nel 20th-23rd October 2010.
Titolo: | Applying SMT in Symbolic Execution of Microcode | |
Autori: | A., Franzen; Cimatti, Alessandro; A., Nadel; Sebastiani, Roberto; J., Shalev | |
Autori Unitn: | ||
Titolo del volume contenente il saggio: | Formal Methods in Computer Aided Design: FMCAD 2010 | |
Luogo di edizione: | Piscataway, NJ | |
Casa editrice: | IEEE | |
Anno di pubblicazione: | 2010 | |
Codice identificativo Scopus: | 2-s2.0-79958714898 | |
ISBN: | 9781457707346 | |
Handle: | http://hdl.handle.net/11572/85268 | |
Appare nelle tipologie: | 04.1 Saggio in atti di convegno (Paper in Proceedings) |
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