Follow
Alberto Griggio
Title
Cited by
Cited by
Year
The mathsat5 smt solver
A Cimatti, A Griggio, BJ Schaafsma, R Sebastiani
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
6422013
The nuXmv Symbolic Model Checker
R Cavada, A Cimatti, M Dorigatti, A Griggio, A Mariotti, A Micheli, S Mover, ...
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
5472014
The MathSAT 4 SMT Solver: Tool Paper
R Bruttomesso, A Cimatti, A Franzén, A Griggio, R Sebastiani
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
2902008
Software model checking via large-block encoding
D Beyer, A Cimatti, A Griggio, ME Keremoglu, R Sebastiani
2009 Formal Methods in Computer-Aided Design, 25-32, 2009
1902009
Software model checking via IC3
A Cimatti, A Griggio
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
1842012
IC3 Modulo Theories via Implicit Predicate Abstraction.
A Cimatti, A Griggio, S Mover, S Tonetta
Tacas 8413, 46-61, 2014
1212014
Efficient interpolant generation in satisfiability modulo theories
A Cimatti, A Griggio, R Sebastiani
Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008
1102008
A Lazy and Layered SMT() Solver for Hard Industrial Verification Problems
R Bruttomesso, A Cimatti, A Franzén, A Griggio, Z Hanna, A Nadel, A Palti, ...
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007
1032007
Satisfiability modulo the theory of costs: Foundations and applications
A Cimatti, A Franzén, A Griggio, R Sebastiani, C Stenico
Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010
1022010
The xSAP Safety Analysis Platform
B Bittner, M Bozzano, R Cavada, A Cimatti, M Gario, A Griggio, C Mattarei, ...
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
902016
A practical approach to satisfiability modulo linear integer arithmetic
A Griggio
Journal on Satisfiability, Boolean Modeling and Computation 8 (1-2), 1-27, 2012
862012
HyComp: An SMT-Based Model Checker for Hybrid Systems
A Cimatti, A Griggio, S Mover, S Tonetta
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
842015
Efficient generation of Craig interpolants in satisfiability modulo theories
A Cimatti, A Griggio, R Sebastiani
ACM Transactions on Computational Logic (TOCL) 12 (1), 1-54, 2010
772010
Kratos – A Software Model Checker for SystemC
A Cimatti, A Griggio, A Micheli, I Narasamdya, M Roveri
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
762011
Deciding floating-point logic with abstract conflict driven clause learning
M Brain, V D’silva, A Griggio, L Haller, D Kroening
Formal Methods in System Design 45 (2), 213-245, 2014
732014
Deciding floating-point logic with systematic abstraction
L Haller, A Griggio, M Brain, D Kroening
2012 Formal Methods in Computer-Aided Design (FMCAD), 131-140, 2012
692012
A simple and flexible way of computing small unsatisfiable cores in SAT modulo theories
A Cimatti, A Griggio, R Sebastiani
SAT 4501, 334-339, 2007
692007
Computing small unsatisfiable cores in satisfiability modulo theories
A Cimatti, A Griggio, R Sebastiani
Journal of Artificial Intelligence Research 40, 701-728, 2011
682011
Parameter synthesis with IC3
A Cimatti, A Griggio, S Mover, S Tonetta
2013 Formal Methods in Computer-Aided Design, 165-168, 2013
622013
Infinite-state invariant checking with IC3 and predicate abstraction
A Cimatti, A Griggio, S Mover, S Tonetta
Formal Methods in System Design 49, 190-218, 2016
492016
The system can't perform the operation now. Try again later.
Articles 1–20