Griggio, Alberto
Griggio, Alberto
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic
2016-01-01 Cimatti, Alessandro; Irfan, Ahmed; Griggio, Alberto; Roveri, Marco; Sebastiani, Roberto
A lazy and layered SMT(BV) solver for hard industrial verification problems
2007-01-01 Bruttomesso, Roberto; A., Cimatti; Franzen, Per Anders; Griggio, Alberto; Z., Hanna; A., Nadel; A., Palti; Sebastiani, Roberto
A Modular Approach to MaxSAT Modulo Theories
2013-01-01 Cimatti, Alessandro; Griggio, Alberto; B., Joost Schaafsma; Sebastiani, Roberto
A Practical Approach to Satisability Modulo Linear Integer Arithmetic
2012-01-01 Griggio, Alberto
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
2007-01-01 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation
2013-01-01 Brain, Martin; D’Silva, Vijay; Haller, Leopold; Griggio, Alberto; Kroening, Daniel
An Effective SMT Engine for Formal Verification
2009-01-01 Griggio, Alberto
An Effective SMT Engine for Formal Verification
2009-01-01 Griggio, Alberto
Broadening the Scope of SMT-COMP: the Application Track
2012-01-01 Bruttomesso, Roberto; Griggio, Alberto
Certifying Proofs for LTL Model Checking
2018-01-01 Griggio, Alberto; Roveri, Marco; Tonetta, Stefano
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories
2011-01-01 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
2021-01-01 Mann, Makai; Irfan, Ahmed; Griggio, Alberto; Padon, Oded; Barrett, Clark
Deciding floating-point logic with abstract conflict driven clause learning
2013-01-01 Brain, Martin; D’Silva, Vijay; Griggio, Alberto; Haller, Leopold; Kroening, Daniel
Deciding Floating-Point Logic with Systematic Abstraction
2012-01-01 Leopold, Haller; Griggio, Alberto; Martin, Brain; Daniel, Kroening
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis
2006-01-01 Bruttomesso, Roberto; A., Cimatti; Franzen, Per Anders; Griggio, Alberto; Sebastiani, Roberto
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis
2009-01-01 Bruttomesso, Roberto; Cimatti, Alessandro; A., Franzen; Griggio, Alberto; Sebastiani, Roberto
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version
2009-01-01 Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Sebastiani, Roberto
Effective word-level interpolation for software verification
2011-01-01 Griggio, Alberto
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation
2022-01-01 Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Jonas, Martin
Efficient Anytime Techniques for Model-Based Safety Analysis
2015-01-01 Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Mattarei, Cristian