RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
The MathSAT 4SMT Solver
2008-01-01 Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Sebastiani, Roberto
The MathSAT solver -- a progress report
2004-01-01 Bozzano, Marco; Cimatti, Alessandro; Gabriele, Colombini; Veselin, Kirov; Sebastiani, Roberto
The Mathsat3 System
2005-01-01 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi A., Junttila; Peter van, Rossum; Stephan Peter, Schulz; Sebastiani, Roberto
The MathSAT5 SMT Solver
2013-01-01 Cimatti, Alessandro; Griggio, Alberto; Bastiaan Joost, Schaafsma; Roberto, Sebastiani
The nuXmv Symbolic Model Checker
2014-01-01 Cavada, Roberto; Cimatti, Alessandro; Dorigatti, Michele; Griggio, Alberto; Mariotti, Alessandro; Micheli, Andrea; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
The VMT-LIB Language and Tools
2022-01-01 Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano
Tightening a Contract Refinement
2016-01-01 Cimatti, Alessandro; Demasi, Ramiro Adrian; Tonetta, Stefano
Tighter Integration of BDD and SMT for Predicate Abstraction
2010-01-01 Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Kalyanasundaram, Krishnamani; Roveri, Marco
Time-aware Relational Abstractions for Hybrid Systems
2013-01-01 Mover, Sergio; Cimatti, Alessandro; Tiwari, A.; Tonetta, Stefano
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study
2017-01-01 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
The MathSAT 4SMT Solver | 1-gen-2008 | Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Sebastiani, Roberto | |
The MathSAT solver -- a progress report | 1-gen-2004 | Bozzano, Marco; Cimatti, Alessandro; Gabriele, Colombini; Veselin, Kirov; Sebastiani, Roberto | |
The Mathsat3 System | 1-gen-2005 | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi A., Junttila; Peter van, Rossum; Stephan Peter, Schulz; Sebastiani, Roberto | |
The MathSAT5 SMT Solver | 1-gen-2013 | Cimatti, Alessandro; Griggio, Alberto; Bastiaan Joost, Schaafsma; Roberto, Sebastiani | |
The nuXmv Symbolic Model Checker | 1-gen-2014 | Cavada, Roberto; Cimatti, Alessandro; Dorigatti, Michele; Griggio, Alberto; Mariotti, Alessandro; Micheli, Andrea; Mover, Sergio; Roveri, Marco; Tonetta, Stefano | |
The VMT-LIB Language and Tools | 1-gen-2022 | Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano | |
Tightening a Contract Refinement | 1-gen-2016 | Cimatti, Alessandro; Demasi, Ramiro Adrian; Tonetta, Stefano | |
Tighter Integration of BDD and SMT for Predicate Abstraction | 1-gen-2010 | Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Kalyanasundaram, Krishnamani; Roveri, Marco | |
Time-aware Relational Abstractions for Hybrid Systems | 1-gen-2013 | Mover, Sergio; Cimatti, Alessandro; Tiwari, A.; Tonetta, Stefano | |
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study | 1-gen-2017 | Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro |
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
Opzioni
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ... 240
- 4 Contributo in Atti di Convegno ... 239
- 4 Contributo in Atti di Convegno ... 1
Data di pubblicazione
- 2020 - 2024 45
- 2010 - 2019 93
- 2000 - 2009 69
- 1992 - 1999 33
Editore
- Springer 52
- AAAI Press 9
- Springer-Verlag 6
- IEEE 4
- Springer Verlag 4
- CEUR-WS.org 3
- IEEE Computer Society 3
- Morgan Kaufmann 3
- AAAI 2
- PHM Society 2
Rivista
- LECTURE NOTES IN ARTIFICIAL INTEL... 2
- AUTOMATED SOFTWARE ENGINEERING 1
- ELECTRONIC COMMUNICATIONS OF THE ... 1
- ELECTRONIC PROCEEDINGS IN THEORET... 1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 32
- LECTURE NOTES IN COMPUTER SCIENCE 7
- LECTURE NOTES IN ARTIFICIAL INTEL... 5
- LECTURE NOTES IN ELECTRICAL ENGIN... 1
- LECTURE NOTES IN ELECTRICAL ENGIN... 1
Keyword
- model checking 8
- planning 6
- bounded model checking 5
- symbolic model 4
- Temporal Problems 4
- Temporal Reasoning 4
- Dynamic Controllability 3
- conditional planning 2
- Fault Tree Analysis 2
- Formal Verification 2
Lingua
- eng 223
- ita 2
Accesso al fulltext
- no fulltext 220
- restricted 13
- reserved 5
- open 2