Sfoglia per Rivista
GSTE is partitioned model checking
2007-01-01 Sebastiani, Roberto; Eli, Singerman; Tonetta, Stefano; Moshe, Vardi
Infinite-state invariant checking with IC3 and predicate abstraction
2016-01-01 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
Quantifier-free encoding of invariants for hybrid systems
2014-01-01 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
GSTE is partitioned model checking | 1-gen-2007 | Sebastiani, Roberto; Eli, Singerman; Tonetta, Stefano; Moshe, Vardi | |
Infinite-state invariant checking with IC3 and predicate abstraction | 1-gen-2016 | Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano | |
Quantifier-free encoding of invariants for hybrid systems | 1-gen-2014 | Cimatti, Alessandro; Mover, Sergio; 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