Sfoglia per Rivista FORMAL METHODS IN SYSTEM DESIGN
Mostrati risultati da 1 a 8 di 8
Abstraction Modulo Stability
2024-01-01 Becchi, Anna; Cimatti, Alessandro
An extension of lazy abstraction with interpolation for programs with arrays
2014-01-01 Alberti, F.; Bruttomesso, R.; Ghilardi, S.; Ranise, Silvio; Sharygina, N.
Certifying proofs for SAT-based model checking
2021-01-01 Griggio, Alberto; Roveri, Marco; Tonetta, Stefano
Deciding floating-point logic with abstract conflict driven clause learning
2013-01-01 Martin, Brain; Vijay, D’Silva; Griggio, Alberto; Leopold, Haller; Daniel, Kroening
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis
2021-01-01 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
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 |
|---|---|---|---|
| Abstraction Modulo Stability | 1-gen-2024 | Becchi, Anna; Cimatti, Alessandro | |
| An extension of lazy abstraction with interpolation for programs with arrays | 1-gen-2014 | Alberti, F.; Bruttomesso, R.; Ghilardi, S.; Ranise, Silvio; Sharygina, N. | |
| Certifying proofs for SAT-based model checking | 1-gen-2021 | Griggio, Alberto; Roveri, Marco; Tonetta, Stefano | |
| Deciding floating-point logic with abstract conflict driven clause learning | 1-gen-2013 | Martin, Brain; Vijay, D’Silva; Griggio, Alberto; Leopold, Haller; Daniel, Kroening | |
| Extended bounded response LTL: a new safety fragment for efficient reactive synthesis | 1-gen-2021 | Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano | |
| 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 |
Mostrati risultati da 1 a 8 di 8
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