book chapterLecture notes in computer scienceJan 1, 2002GREEN OA

NuSMV 2: An OpenSource Tool for Symbolic Model Checking

ACAlessandro CimattiECEdmund ClarkeEGEnrico GiunchigliaFGFausto GiunchigliaMPMarco Pistore

Construction Technologies Institute · Carnegie Mellon University · +2 more institutions

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

1,629
total citations
FWCI
38.54
Percentile
100%
References
20
Citations per year

Authors

8

Topics & keywords

Topics
Keywords
  • Model checking
  • Computer science
  • Programming language
  • Symbolic trajectory evaluation
  • Abstraction model checking
  • Software engineering
UN Sustainable Development Goals
  • Industry, innovation and infrastructure
No related works found for this paper.