Sfoglia per Autore
Precise Analysis of pi-calculus in Cubic Time
2004-01-01 L., Colussi; G., File'; Griggio, A
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
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T)
2006-01-01 Bruttomesso, Roberto; Cimatti, Alessandro; Franzén, Anders; Griggio, Alberto; Santuari, Alessandro; Sebastiani, Roberto
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT)
2006-01-01 Bruttomesso, Roberto; A., Cimatti; Franzen, Per Anders; Griggio, Alberto; A., Santuari; 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
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
2007-01-01 Cimatti, Alessandro; Sebastiani, Roberto; Griggio, Alberto
Efficient Interpolant Generation in Satisfiability 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
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
Efficient Interpolant Generation in Satisfiability Modulo Theories
2008-01-01 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
The MathSAT 4 SMT Solver
2008-01-01 Bruttomesso, Roberto; A., Cimatti; Franzen, Per Anders; Griggio, Alberto; Sebastiani, Roberto
An Effective SMT Engine for Formal Verification
2009-01-01 Griggio, Alberto
An Effective SMT Engine for Formal Verification
2009-01-01 Griggio, Alberto
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 D., Beyer; Cimatti, Alessandro; Griggio, Alberto; E., Keremoglu; Sebastiani, Roberto
Software Model Checking via Large-Block Encoding
2009-01-01 Beyer, Dirk; Keremoglu, M. Erkan; Cimatti, Alessandro; Sebastiani, Roberto; Griggio, Alberto
Stochastic Local Search for SMT: A Preliminary Report
2009-01-01 Tomasi, Silvia; Sebastiani, Roberto; Griggio, Alberto
Modeling and Analyzing Contextual Requirements
2009-01-01 Franzen, Anders; Giorgini, Paolo; Griggio, Alberto; Ali, Raian
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis
2009-01-01 Bruttomesso, Roberto; Cimatti, Alessandro; A., Franzen; Griggio, Alberto; Sebastiani, Roberto
Tighter Integration of BDD and SMT for Predicate Abstraction
2010-01-01 Cimatti, Alessandro; Franzen, Anders; Griggio, Alberto; Krishnamani, Kalyanasundaram; Roveri, Marco
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