Sfoglia per Autore
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T)
2006-01-01 Roberto, Bruttomesso; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Alessandro, Santuari; Sebastiani, Roberto
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
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
2007-01-01 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
MathSAT
2007-01-01 Roberto, Bruttomesso; Cimatti, Alessandro; Roberto, Sebasatiani; Griggio, Alberto; Anders, Franzen
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
Efficient Interpolant Generation in Satisfiability Modulo Theories
2008-01-01 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
The MathSAT 4SMT Solver
2008-01-01 Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Sebastiani, Roberto
Interpolant Generation for UTVPI
2009-01-01 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories
2009-01-01 Cimatti, Alessandro; 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
Software Model Checking via Large-Block Encoding
2009-01-01 Dirk, Beyer; Cimatti, Alessandro; Griggio, Alberto; Erkan, Keremoglu; Sebastiani, Roberto
Software Model Checking via Large-Block Encoding
2009-01-01 Dirk, Beyer; Cimatti, Alessandro; Griggio, Alberto; Erkan, Keremoglu; Sebastiani, Roberto
KRATOS
2010-01-01 Roveri, Marco; Cimatti, Alessandro; Narasamdya, Iman; Micheli, Andrea; Daniele, Campana; Griggio, Alberto; Tchaltsev, Andrei
Efficient generation of craig interpolants in satisfiability modulo theories
2010-01-01 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
Satisfiability Modulo the Theory of Costs: Foundations and Applications
2010-01-01 Cimatti, Alessandro; Anders, Franzén; Griggio, Alberto; Sebastiani, Roberto; Cristian, Stenico
Tighter Integration of BDD and SMT for Predicate Abstraction
2010-01-01 Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Kalyanasundaram, Krishnamani; Roveri, Marco
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
2011-01-01 Griggio, Alberto; Thi Thieu Hoa, Le; Sebastiani, Roberto
Kratos - A Software Model Checker for SystemC
2011-01-01 Cimatti, Alessandro; Griggio, Alberto; Micheli, Andrea; Iman, Narasamdya; Roveri, Marco
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT
2011-01-01 Griggio, Alberto; Quoc Sang, Phan; Roberto, Sebastiani; Silvia, Tomasi
Effective word-level interpolation for software verification
2011-01-01 Griggio, Alberto
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) | 1-gen-2006 | Roberto, Bruttomesso; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Alessandro, Santuari; Sebastiani, Roberto | |
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 | |
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories | 1-gen-2007 | Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto | |
MathSAT | 1-gen-2007 | Roberto, Bruttomesso; Cimatti, Alessandro; Roberto, Sebasatiani; Griggio, Alberto; Anders, Franzen | |
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 | |
Efficient Interpolant Generation in Satisfiability Modulo Theories | 1-gen-2008 | Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto | |
The MathSAT 4SMT Solver | 1-gen-2008 | Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Sebastiani, Roberto | |
Interpolant Generation for UTVPI | 1-gen-2009 | Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto | |
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories | 1-gen-2009 | Cimatti, Alessandro; 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 | |
Software Model Checking via Large-Block Encoding | 1-gen-2009 | Dirk, Beyer; Cimatti, Alessandro; Griggio, Alberto; Erkan, Keremoglu; Sebastiani, Roberto | |
Software Model Checking via Large-Block Encoding | 1-gen-2009 | Dirk, Beyer; Cimatti, Alessandro; Griggio, Alberto; Erkan, Keremoglu; Sebastiani, Roberto | |
KRATOS | 1-gen-2010 | Roveri, Marco; Cimatti, Alessandro; Narasamdya, Iman; Micheli, Andrea; Daniele, Campana; Griggio, Alberto; Tchaltsev, Andrei | |
Efficient generation of craig interpolants in satisfiability modulo theories | 1-gen-2010 | Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto | |
Satisfiability Modulo the Theory of Costs: Foundations and Applications | 1-gen-2010 | Cimatti, Alessandro; Anders, Franzén; Griggio, Alberto; Sebastiani, Roberto; Cristian, Stenico | |
Tighter Integration of BDD and SMT for Predicate Abstraction | 1-gen-2010 | Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Kalyanasundaram, Krishnamani; Roveri, Marco | |
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic | 1-gen-2011 | Griggio, Alberto; Thi Thieu Hoa, Le; Sebastiani, Roberto | |
Kratos - A Software Model Checker for SystemC | 1-gen-2011 | Cimatti, Alessandro; Griggio, Alberto; Micheli, Andrea; Iman, Narasamdya; Roveri, Marco | |
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT | 1-gen-2011 | Griggio, Alberto; Quoc Sang, Phan; Roberto, Sebastiani; Silvia, Tomasi | |
Effective word-level interpolation for software verification | 1-gen-2011 | Griggio, Alberto |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile