-
Roderick Bloem; Alessandro Cimatti; Ingo Pill; Marco Roveri,
Symbolic Implementation of Alternating Automata,
in «INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE»,
vol. 18,
n. 4,
2007
, pp. 727 -
743
-
Marco Bozzano; Adolfo Villafiorita,
The FSAP/NuSMV-SA Safety Analysis Platform,
in «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER»,
vol. 9,
n. 1,
2007
, pp. 5 -
24
-
Roberto Sebastiani; Eli Singerman; Stefano Tonetta; Moshe Vardi,
in «FORMAL METHODS IN SYSTEM DESIGN»,
vol. 31,
n. 2,
2007
, pp. 177 -
196
-
Piergiorgio Bertoli; Marco Bozzano; Alessandro Cimatti,
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis,
Model Checking and Artificial Intelligence,
Berlin, Heidelberg,
Springer-Verlag,
2007
, pp. 1 -
18
-
Marco Bozzano; Alessandro Cimatti; Francesco Tapparo,
Symbolic Fault Tree Analysis for Reactive Systems,
5th Int. Symposium on Automated Technology for Verification and Analysis,
Springer-Verlag,
vol.4762,
2007
, pp. 162-
176
, (ATVA 2007,
Tokyo, Japan,
22-25/10/2007)
-
Zvonimir Rakamaric; Roberto Bruttomesso; Alan J. Hu; Alessandro Cimatti,
Verifying Heap-Manipulating Programs in an SMT Framework,
5th Int. Symposium on Automated Technology for Verification and Analysis,
Springer-Verlag,
vol.4762,
2007
, pp. 237-
252
, (ATVA 2007,
Tokyo, Japan,
22-25/10/2007)
-
Alessandro Cimatti; Marco Roveri; Viktor Schuppan; Stefano Tonetta,
Boolean Abstraction for Temporal Logic Satisfiability,
Proceedings of 19th Int. Conference Computer Aided Verification,
Springer,
vol.4590,
2007
, pp. 532-
546
, (CAV,
Berlin, Germany,
03/07/2007-07/07/2007)
-
Roberto Bruttomesso; Alessandro Cimatti; Anders Franzen; Alberto Griggio; Ziyad Hanna; Alexander Nadel; Amit Palti; Roberto Sebastiani,
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems,
Proceedings of the 19th Int. Conference on Computer aided verification,
Springer-Verlag,
vol.4590,
2007
, pp. 547-
560
, (CAV'07,
Berlin, Germany,
2007)
-
Roberto Cavada; Alessandro Cimatti; Anders Franzen; Kalyanasundaram Krishnamani; Marco Roveri; R. K. Shyamasundar,
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers,
Proceedings of the Formal Methods in Computer Aided Design,
Washington, DC,
2007
, pp. 69-
76
, (FMCAD '07,
Austin, Texas,
11/11/2007-14/11/2007)
-
Alessandro Cimatti; Alberto Griggio; Roberto Sebastiani,
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories,
Proceedings of the 10th Int. Conference on Theory and Applications of Satisfiability Testing,
Springer,
vol.4501,
2007
, pp. 334-
339
, (SAT’07,
Lisbon, Portugal,
28-31/05/2007)