IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 85
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
Mostrati risultati da 1 a 20 di 85
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