Sfoglia per Autore
Tighter Integration of BDD and SMT for Predicate Abstraction
2010-01-01 Cimatti, Alessandro; Franzen, Anders; Griggio, Alberto; Krishnamani, Kalyanasundaram; Roveri, Marco
Satisfiability Modulo the Theory of Costs: Foundations and Applications
2010-01-01 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto; C., Stenico
Stochastic Local Search for SMT: Combining Theory Solvers withWalkSAT
2011-01-01 Griggio, Alberto; Q. S., Phan; Tomasi, Silvia; Sebastiani, Roberto
Kratos - A Software Model Checker for SystemC
2011-01-01 Cimatti, Alessandro; Griggio, Alberto; Micheli, Andrea; Narasamdya, Iman; Roveri, Marco
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
2011-01-01 Griggio, Alberto; Le, Thi Thieu Hoa; Sebastiani, Roberto
Effective word-level interpolation for software verification
2011-01-01 Griggio, Alberto
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories
2011-01-01 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
A Practical Approach to Satisability Modulo Linear Integer Arithmetic
2012-01-01 Griggio, Alberto
Software Model Checking via IC3
2012-01-01 Cimatti, Alessandro; Griggio, Alberto
Broadening the Scope of SMT-COMP: the Application Track
2012-01-01 Bruttomesso, Roberto; Griggio, Alberto
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
2012-01-01 Griggio, Alberto; Le, Thi Thieu Hoa; Sebastiani, Roberto
Deciding Floating-Point Logic with Systematic Abstraction
2012-01-01 Leopold, Haller; Griggio, Alberto; Martin, Brain; Daniel, Kroening
Deciding floating-point logic with abstract conflict driven clause learning
2013-01-01 Brain, Martin; D’Silva, Vijay; Griggio, Alberto; Haller, Leopold; Kroening, Daniel
An Abstract Interpretation of DPLL(T)Verification, Model Checking, and Abstract Interpretation
2013-01-01 Brain, Martin; D’Silva, Vijay; Haller, Leopold; Griggio, Alberto; Kroening, Daniel
Parameter Synthesis with IC3
2013-01-01 Cimatti, A.; Griggio, A.; Mover, S.; Tonetta, S.
The MathSAT 5 SMT Solver
2013-01-01 Cimatti, Alessandro; Griggio, Alberto; B., Joost Schaafsma; Sebastiani, Roberto
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL
2013-01-01 Brain, Martin; D’Silva, Vijay; Griggio, Alberto; Haller, Leopold; Kroening, Daniel
A Modular Approach to MaxSAT Modulo Theories
2013-01-01 Cimatti, Alessandro; Griggio, Alberto; B., Joost Schaafsma; Sebastiani, Roberto
Verifying LTL Properties of Hybrid Systems with K-Liveness
2014-01-01 Cimatti, A.; Griggio, A.; Mover, S.; Tonetta, S.
IC3 Modulo Theories via Implicit Predicate Abstraction
2014-01-01 Cimatti, A.; Griggio, A.; Mover, S.; Tonetta, S.
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