Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

NuSMV: A New Symbolic Model Verifier | Researchclopedia

Back to research

NuSMV: A New Symbolic Model Verifier

1999610 citationsBook Chapterbronze Open Access

Authors

Alessandro Cimatti

Emma L. Clarke · Carnegie Mellon University

Fausto Giunchiglia

Marco Roveri · University of Milan

Topics & Keywords

Formal Methods in Verification Model-Driven Software Engineering Techniques Software Reliability and Analysis Research

UN Sustainable Development Goals

Industry, innovation and infrastructure

Publication Details

Published in: Lecture notes in computer science

DOI: 10.1007/3-540-48683-6_44

Field-Weighted Citation Impact: 16.17