You are here

2007

  1. 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
  2. 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
  3. Roberto Sebastiani; Eli Singerman; Stefano Tonetta; Moshe Vardi,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    vol. 31,
    n. 2,
    2007
    , pp. 177 -
    196
  4. 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
  5. 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)
  6. 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)
  7. 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)
  8. 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)
  9. 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)
  10. 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)

Pages