NuSMV: A New Symbolic Model Verifier

  • A. Cimatti
  • E. Clarke
  • F. Giunchiglia
  • M. Roveri
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1633)


Model Check Parse Tree Symbolic Model Reachability Analysis Input Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic Model Checking without BDDs. In Proc. TACAS’99, March 1999. To appear.Google Scholar
  2. 2.
    R. K. Brayton et al. VIS:A system for Verification and Synthesis. In Proc. of CAV’96. LNCS 1102, Springer-Verlag.Google Scholar
  3. 3.
    J. Burch, E. Clarke, and D. Long. Representing Circuits More Efficiently in Symbolic Model Checking. In Proc. of the 28th ACM/IEEE Design Automation Conference, pages 403–407, Los Alamitos, CA, June 1991. IEEE Computer Society Press.Google Scholar
  4. 4.
    A. Cimatti, M. Roveri, and P. Traverso. Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains. In Proc. of the 15th National Conference on Artificial Intelligence (AAAI-98), Madison,Wisconsin, 1998. AAAI-Press.Google Scholar
  5. 5.
    O. Grumberg E. Clarke and K. Hamaguchi. Another Look at LTL Model Checking. Formal Methods in System Design, 10(1):57–71, February 1997.Google Scholar
  6. 6.
    K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publ., 1993.Google Scholar
  7. 7.
    R. K. Ranjan, A. Aziz, B. Plessier, C. Pixley, and R. K. Brayton. Efficient BDD algorithms for FSM synthesis and verification. In IEEE/ACM Proceedings International Workshop on Logic Synthesis, Lake Tahoe (NV), May 1995.Google Scholar
  8. 8.
    F. Somenzi. CUDD: CU Decision Diagram package-release 2.1.2. Department of Electrical and Computer Engineering-University of Colorado at Boulder, April 1997. Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • A. Cimatti
    • 1
  • E. Clarke
    • 2
  • F. Giunchiglia
    • 1
  • M. Roveri
    • 1
    • 3
  1. 1.ITC-IRSTPovo, TrentoItaly
  2. 2.SCSCarnegie-Mellon UniversityPittsburghUSA
  3. 3.DSIUniversity of MilanoMilanoItaly

Personalised recommendations