Griggio, Alberto

Griggio, Alberto  

Mostra records
Risultati 1 - 20 di 78 (tempo di esecuzione: 0.08 secondi).
Titolo Anno di pubblicazione Autori Unitn File
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
A lazy and layered SMT(BV) solver for hard industrial verification problems 1-gen-2007 Bruttomesso, RobertoFranzen, Per AndersGriggio, AlbertoSebastiani, Roberto +
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 1-gen-2020 Becchi, AnnaCavada, RobertoCimatti, AlessandroGriggio, AlbertoScaglione, GiuseppeSusi, Angelo +
A Modular Approach to MaxSAT Modulo Theories 1-gen-2013 Cimatti, AlessandroGriggio, AlbertoSebastiani, Roberto +
A Practical Approach to Satisability Modulo Linear Integer Arithmetic 1-gen-2012 Alberto Griggio
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 1-gen-2007 Cimatti, AlessandroSebastiani, RobertoGriggio, Alberto
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 +
An Effective SMT Engine for Formal Verification 1-gen-2009 Griggio, Alberto
An Effective SMT Engine for Formal Verification 1-gen-2009 Griggio, Alberto
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 1-gen-2023 Srajan GoyalAlberto GriggioStefano Tonetta +
Broadening the Scope of SMT-COMP: the Application Track 1-gen-2012 Alberto Griggio +
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-2006 Bruttomesso, RobertoCimatti, AlessandroGriggio, AlbertoSebastiani, Roberto +
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 1-gen-2009 Bruttomesso, RobertoCimatti, AlessandroGriggio, AlbertoSebastiani, Roberto +