Griggio, Alberto
Griggio, Alberto
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems
2007-01-01 Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Ziyad, Hanna; Alexander, Nadel; Amit, Palti; Sebastiani, Roberto
A Modular Approach to MaxSAT Modulo Theories
2013-01-01 Cimatti, Alessandro; Griggio, Alberto; Bastiaan Joost, Schaafsma; Roberto, Sebastiani
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 Martin, Brain; Vijay, D’Silva; Leopold, Haller; Griggio, Alberto; Daniel, Kroening
Broadening the Scope of SMT-COMP: the Application Track
2012-01-01 Roberto, Bruttomesso; Griggio, Alberto
Certifying Proofs for LTL Model Checking
2018-01-01 Griggio, Alberto; Roveri, Marco; Tonetta, Stefano
Certifying proofs for SAT-based model checking
2021-01-01 Griggio, Alberto; Roveri, Marco; Tonetta, Stefano
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking
2015-01-01 Griggio, Alberto; Roveri, Marco
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 Martin, Brain; Vijay, D’Silva; Griggio, Alberto; Leopold, Haller; Daniel, Kroening
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 Roberto, Bruttomesso; Cimatti, Alessandro; Anders, 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
In corso di stampa 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
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories
2009-01-01 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
Efficient generation of craig interpolants in satisfiability modulo theories
2010-01-01 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems | 1-gen-2007 | Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Ziyad, Hanna; Alexander, Nadel; Amit, Palti; Sebastiani, Roberto | |
| A Modular Approach to MaxSAT Modulo Theories | 1-gen-2013 | Cimatti, Alessandro; Griggio, Alberto; Bastiaan Joost, Schaafsma; Roberto, Sebastiani | |
| A Practical Approach to Satisability Modulo Linear Integer Arithmetic | 1-gen-2012 | Griggio, Alberto | |
| A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories | 1-gen-2007 | Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto | |
| An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation | 1-gen-2013 | Martin, Brain; Vijay, D’Silva; Leopold, Haller; Griggio, Alberto; Daniel, Kroening | |
| Broadening the Scope of SMT-COMP: the Application Track | 1-gen-2012 | Roberto, Bruttomesso; Griggio, Alberto | |
| Certifying Proofs for LTL Model Checking | 1-gen-2018 | Griggio, Alberto; Roveri, Marco; Tonetta, Stefano | |
| Certifying proofs for SAT-based model checking | 1-gen-2021 | Griggio, Alberto; Roveri, Marco; Tonetta, Stefano | |
| Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking | 1-gen-2015 | Griggio, Alberto; Roveri, Marco | |
| Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories | 1-gen-2011 | Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto | |
| Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays | 1-gen-2021 | Mann, Makai; Irfan, Ahmed; Griggio, Alberto; Padon, Oded; Barrett, Clark | |
| Deciding floating-point logic with abstract conflict driven clause learning | 1-gen-2013 | Martin, Brain; Vijay, D’Silva; Griggio, Alberto; Leopold, Haller; Daniel, Kroening | |
| Deciding Floating-Point Logic with Systematic Abstraction | 1-gen-2012 | Leopold, Haller; Griggio, Alberto; Martin, Brain; Daniel, Kroening | |
| Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis | 1-gen-2006 | Roberto, Bruttomesso; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Sebastiani, Roberto | |
| Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version | 1-gen-2009 | Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Sebastiani, Roberto | |
| Effective word-level interpolation for software verification | 1-gen-2011 | Griggio, Alberto | |
| Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation | In corso di stampa | Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Jonas, Martin | |
| Efficient Anytime Techniques for Model-Based Safety Analysis | 1-gen-2015 | Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Mattarei, Cristian | |
| Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories | 1-gen-2009 | Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto | |
| Efficient generation of craig interpolants in satisfiability modulo theories | 1-gen-2010 | Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto |