Alberto Griggio
Alberto Griggio
Researcher, Fondazione Bruno Kessler
Dirección de correo verificada de fbk.eu - Página principal
TítuloCitado porAño
The mathsat5 smt solver
A Cimatti, A Griggio, BJ Schaafsma, R Sebastiani
International Conference on Tools and Algorithms for the Construction and …, 2013
3932013
The nuXmv symbolic model checker
R Cavada, A Cimatti, M Dorigatti, A Griggio, A Mariotti, A Micheli, S Mover, ...
International Conference on Computer Aided Verification, 334-342, 2014
3112014
The MathSAT 4 SMT Solver
R Bruttomesso, A Cimatti, A Franzén, A Griggio, R Sebastiani
International Conference on Computer Aided Verification, 299-303, 2008
2332008
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
1492009
Software model checking via IC3
A Cimatti, A Griggio
International Conference on Computer Aided Verification, 277-293, 2012
1282012
Efficient interpolant generation in satisfiability modulo theories
A Cimatti, A Griggio, R Sebastiani
International Conference on Tools and Algorithms for the Construction and …, 2008
882008
Satisfiability modulo the theory of costs: Foundations and applications
A Cimatti, A Franzén, A Griggio, R Sebastiani, C Stenico
International Conference on Tools and Algorithms for the Construction and …, 2010
862010
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, ...
International Conference on Computer Aided Verification, 547-560, 2007
842007
IC3 modulo theories via implicit predicate abstraction
A Cimatti, A Griggio, S Mover, S Tonetta
International Conference on Tools and Algorithms for the Construction and …, 2014
822014
A practical approach to satisfiability modulo linear integer arithmetic
A Griggio
Journal on Satisfiability, Boolean Modeling and Computation 8, 1-27, 2012
712012
Efficient generation of Craig interpolants in satisfiability modulo theories
A Cimatti, A Griggio, R Sebastiani
ACM Transactions on Computational Logic (TOCL) 12 (1), 7, 2010
632010
A simple and flexible way of computing small unsatisfiable cores in SAT modulo theories
A Cimatti, A Griggio, R Sebastiani
International Conference on Theory and Applications of Satisfiability …, 2007
632007
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
612012
Kratos – A Software Model Checker for SystemC
A Cimatti, A Griggio, A Micheli, I Narasamdya, M Roveri
International Conference on Computer Aided Verification, 310-316, 2011
602011
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
572014
HyComp: An SMT-Based Model Checker for Hybrid Systems
A Cimatti, A Griggio, S Mover, S Tonetta
International Conference on Tools and Algorithms for the Construction and …, 2015
492015
The xSAP Safety Analysis Platform
B Bittner, M Bozzano, R Cavada, A Cimatti, M Gario, A Griggio, C Mattarei, ...
International Conference on Tools and Algorithms for the Construction and …, 2016
472016
Parameter synthesis with IC3
A Cimatti, A Griggio, S Mover, S Tonetta
2013 Formal Methods in Computer-Aided Design, 165-168, 2013
472013
Computing small unsatisfiable cores in satisfiability modulo theories
A Cimatti, A Griggio, R Sebastiani
Journal of Artificial Intelligence Research 40, 701-728, 2011
442011
SC2: Satisfiability checking meets symbolic computation
E Ábrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ...
Intelligent Computer Mathematics: Proceedings CICM 9791, 28-43, 2016
322016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20