Griggio, Alberto

Griggio, Alberto  

Mostra records
Risultati 1 - 20 di 67 (tempo di esecuzione: 0.027 secondi).
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