The nuXmv Symbolic Model Checker

Article Details
Title:	The nuXmv Symbolic Model Checker
Article URLs:	https://doi.org/10.1007/978-3-319-08867-9_22 https://www.wikidata.org/entity/Q62041155
Alternative Article URLs:	No
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
	Sergio Mover	Fondazione Bruno Kessler
	Marco Roveri	Fondazione Bruno Kessler
	Stefano Tonetta	Fondazione Bruno Kessler
Sharing:	Research produced no artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/cav/CavadaCDGMMMRT14
Author Comments:	For any question or for the data related to the experimental evaluation performed, please contact nuxmv team. The contact information are available at: https://nuxmv.fbk.eu

Computer Aided Verification, CAV 2014