IRIS

Kratos - A Software Model Checker for SystemC / Cimatti, Alessandro; Griggio, Alberto; Micheli, Andrea; Narasamdya, Iman; Roveri, Marco. - 6806:(2011). (Intervento presentato al convegno 23rd International Conference onComputer Aided Verification tenutosi a Cliff Lodge, Snowbird, Utah nel 14-20/07/2011) [10.1007/978-3-642-22110-1_24].

Kratos - A Software Model Checker for SystemC

Alessandro Cimatti;Alberto Griggio;Andrea Micheli;Marco Roveri
2011-01-01
2011
Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
Germania
SPRINGER
2-s2.0-79960379698
Cimatti, Alessandro; Griggio, Alberto; Micheli, Andrea; Narasamdya, Iman; Roveri, Marco
Kratos - A Software Model Checker for SystemC / Cimatti, Alessandro; Griggio, Alberto; Micheli, Andrea; Narasamdya, Iman; Roveri, Marco. - 6806:(2011). (Intervento presentato al convegno 23rd International Conference onComputer Aided Verification tenutosi a Cliff Lodge, Snowbird, Utah nel 14-20/07/2011) [10.1007/978-3-642-22110-1_24].
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/258730
 Attenzione

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

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