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.

Back to research

The nuXmv Symbolic Model Checker

2014514 citationsBook Chapter

Authors

Roberto Cavada · Fondazione Bruno Kessler

Alessandro Cimatti · Fondazione Bruno Kessler

Michele Dorigatti · Fondazione Bruno Kessler

Alberto Griggio · Fondazione Bruno Kessler

Alessandro Mariotti · Fondazione Bruno Kessler

Andrea Micheli · Fondazione Bruno Kessler

Topics & Keywords

Formal Methods in Verification Software Reliability and Analysis Research Software Testing and Debugging Techniques

UN Sustainable Development Goals

Industry, innovation and infrastructure

Publication Details

Published in: Lecture notes in computer science

DOI: 10.1007/978-3-319-08867-9_22

Field-Weighted Citation Impact: 53.31

The nuXmv Symbolic Model Checker | Researchclopedia

· Fondazione Bruno Kessler

Marco Roveri · Fondazione Bruno Kessler

Stefano Tonetta · Fondazione Bruno Kessler