You are here

Publications

  1. Marco Roveri,
    Abstraction in Model Checking for Bug Hunting,
    Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000,
    2000
    , pp. 219-
    223
    , (Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000,
    Nantes, France,
    19/06/2000 - 23/06/2000)
  2. Alessandro Cimatti; Marco Roveri,
    Conformant Planning via Model Checking,
    Fifth European Conference on Planning [ECP`99],
    Springer,
    2000
    , pp. 21-
    34
    , (Fifth European Conference on Planning [ECP`99],
    Durham, UK,
    08/09/1999 - 10/09/1999)
  3. Alessandro Cimatti; E.M. Clarke; Fausto Giunchiglia; Marco Roveri,
    NuSMV: a New Symbolic Model Verifier,
    11th International Conference on Computer Aided Verification (CAV`99), Proceedings,
    Springer,
    1999
    , (11th International Conference on Computer Aided Verification (CAV`99), Proceedings,
    Trento, Italy,
    1999)
  4. Alessandro Cimatti; P.L. Pieraccini; Roberto Sebastiani; Paolo Traverso; Adolfo Villafiorita,
    Formal Specification and validation of a Vital Communication Protocol,
    FM`99-Formal Methods, World Congress on Formal methods in the Development of Computing Systems,
    1999
    , pp. 1584-
    1604
    , (FM`99-Formal Methods, World Congress on Formal methods in the Development of Computing Systems,
    1999)
  5. A. Chiappini; Alessandro Cimatti; C. Porzia; G. Rotondo; Roberto Sebastiani; Paolo Traverso; Adolfo Villafiorita,
    18th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1999),
    Springer,
    vol.1698,
    1999
    , pp. 410-
    419
    , (18th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1999),
    Toulouse, France,
    1999)
  6. Alessandro Cimatti; Marco Roveri,
    Conformant Planning via Model Checking,
    Fifth European Conference on Planning [ECP`99],
    Springer,
    1999
    , (Fifth European Conference on Planning [ECP`99],
    Durham, UK,
    08/09/1999 - 10/09/1999)
  7. Alessandro Cimatti; Fausto Giunchiglia; Paolo Traverso; Adolfo Villafiorita,
    FLoC`99 Workshop on Run-Time Result Verification,
    1999
    , (FLoC`99 Workshop on Run-Time Result Verification,
    Trento, Italy,
    1999)
  8. Alessandro Cimatti; Fausto Giunchiglia; R.W. Weyhrauch,
    A Many Sorted Natural Deduction,
    in «COMPUTATIONAL INTELLIGENCE»,
    vol. 1,
    n. 14,
    1998
    , pp. 135 -
    150
  9. Alessandro Cimatti; Fausto Giunchiglia; G. Mongardi; D. Romano; F. Torielli; Paolo Traverso,
    in «FORMAL ASPECTS OF COMPUTING»,
    1998
    , pp. 361 -
    380
  10. Alessandro Cimatti; E.M. Clarke; Fausto Giunchiglia; Marco Roveri,
    NuSMV: A Reimplementation of SMV,
    International Workshop on Software Tools for Technology Transfer (STTT-98),
    vol.NS-98-4,
    1998
    , pp. 25-
    31
    , (International Workshop on Software Tools for Technology Transfer (STTT-98),
    1998)

Pages