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 Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System
2020-01-01 Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Scaglione, Giuseppe; Susi, Angelo; Tacchella, Alberto; Tessi, Matteo
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; Sebastiani, Roberto; 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
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems
2023-01-01 Goyal, Srajan; Griggio, Alberto; Kimblad, Jacob; Tonetta, Stefano
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
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 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; Cimatti, Alessandro; Franzén, Anders; Griggio, Alberto; Sebastiani, Roberto
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