Sfoglia per Rivista
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking
2015-01-01 Griggio, Alberto; Roveri, Marco
Software Model Checking SystemC
2013-01-01 Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco
Symbolic Compilation of PSL
2008-01-01 Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking | 1-gen-2015 | Griggio, Alberto; Roveri, Marco | |
Software Model Checking SystemC | 1-gen-2013 | Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco | |
Symbolic Compilation of PSL | 1-gen-2008 | Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile