Griggio, Alberto

Griggio, Alberto  

Ingegneria industriale (29/10/12-)  

Mostra records
Risultati 1 - 20 di 62 (tempo di esecuzione: 0.031 secondi).
Titolo Anno di pubblicazione Autori Unitn File
A lazy and layered SMT(BV) solver for hard industrial verification problems 1-gen-2007 Bruttomesso, RobertoFranzen, Per AndersGriggio, AlbertoSebastiani, Roberto +
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 1-gen-2007 Cimatti, AlessandroGriggio, AlbertoSebastiani, Roberto
An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation 1-gen-2013 Alberto Griggio +
Broadening the Scope of SMT-COMP: the Application Track 1-gen-2012 Alberto Griggio +
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 1-gen-2016 Alessandro CimattiAhmed IrfanAlberto GriggioMarco RoveriRoberto Sebastiani
Certifying Proofs for LTL Model Checking 1-gen-2018 Alberto GriggioMarco RoveriStefano Tonetta
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 1-gen-2015 Griggio AlbertoRoveri Marco
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 1-gen-2011 Cimatti, AlessandroGriggio, AlbertoSebastiani, Roberto
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 1-gen-2021 Alberto Griggio +
Deciding floating-point logic with abstract conflict driven clause learning 1-gen-2013 Alberto Griggio +
Deciding Floating-Point Logic with Systematic Abstraction 1-gen-2012 Griggio, Alberto +
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 1-gen-2009 Bruttomesso, RobertoCimatti, AlessandroGriggio, AlbertoSebastiani, Roberto +
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 1-gen-2006 Bruttomesso, RobertoFranzen, Per AndersGriggio, AlbertoSebastiani, Roberto +
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 1-gen-2009 Bruttomesso, RobertoCimatti, AlessandroGriggio, Alberto +
Effective word-level interpolation for software verification 1-gen-2011 Alberto Griggio
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 1-gen-2022 Alessandro CimattiAlberto Griggio +
Efficient Anytime Techniques for Model-Based Safety Analysis 1-gen-2015 Cimatti AlessandroGriggio AlbertoMattarei Cristian +
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 1-gen-2012 Griggio, AlbertoLe, Thi Thieu HoaSebastiani, Roberto
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 1-gen-2011 Griggio, AlbertoLe, Thi Thieu HoaSebastiani, Roberto
Efficient Interpolant Generation in Satisfiability Modulo Theories 1-gen-2010 Cimatti, AlessandroGriggio, AlbertoSebastiani, Roberto