×

NuSMV

swMATH ID: 4131
Software Authors: Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Fausto; Roveri, Marco; Roberto Cavada, Michele Dorigatti, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Andrei Tchaltsev
Description: NuSMV is a symbolic model checker developed as a joint project between: The Embedded Systems Unit in the Center for Information Technology at FBK-IRST The Model Checking group at Carnegie Mellon University , the Mechanized Reasoning Group at University of Genova The Mechanized Reasoning Group at University of Trento. NuSMV is a reimplementation and extension of SMV, the first model checker based on BDDs. NuSMV has been designed to be an open architecture for model checking, which can be reliably used for the verification of industrial designs, as a core for custom verification tools, as a testbed for formal verification techniques, and applied to other research areas. NuSMV2, combines BDD-based model checking component that exploits the CUDD library developed by Fabio Somenzi at Colorado University and SAT-based model checking component that includes an RBC-based Bounded Model Checker, which can be connected to the Minisat SAT Solver and/or to the ZChaff SAT Solver. The University of Genova has contributed SIM, a state-of-the-art SAT solver used until version 2.5.0, and the RBC package use in the Bounded Model Checking algorithms.
Homepage: http://nusmv.fbk.eu/
Programming Languages: None
Operating Systems: None
Dependencies: None
Keywords: symbolic model checking; temporal logics; automatic verification; tools for technology transfer
Related Software: SPIN; Uppaal; CUDD; Chaff; PRISM; Bandera; Java PathFinder; LTL2BA; HyTech; DiVinE; z3; BLAST; PVS; CADP; CESAR; nuXmv; CBMC; SPOT; MOCHA; Cadence SMV
Cited in: 266 Publications
all top 5

Cited by 582 Authors

19 Cimatti, Alessandro
13 Roveri, Marco
9 Clarke, Edmund Melson jun.
8 Vardi, Moshe Ya’akov
6 Biere, Armin
6 Gheorghe, Marian
5 Ciardo, Gianfranco
5 Duan, Zhenhua
5 Giunchiglia, Enrico
5 Heljanko, Keijo
5 Ipate, Florentin
5 Junttila, Tommi A.
5 Konur, Savas
5 Lomuscio, Alessio
5 Schuppan, Viktor
5 Tonetta, Stefano
4 Alur, Rajeev
4 Artikis, Alexander
4 Bertoli, Piergiorgio
4 Bozzano, Marco
4 Cook, Byron
4 Fages, François
4 Giunchiglia, Fausto
4 Latvala, Timo
4 Lefticaru, Raluca
4 Mateescu, Radu
4 Pistore, Marco
4 Sebastiani, Roberto
4 Sergot, Marek J.
4 Tacchella, Armando
4 Tian, Cong
3 Barnat, Jiří
3 Brim, Luboš
3 Chakraborty, Supratik
3 Chechik, Marsha
3 Comet, Jean-Paul
3 Dixon, Clare
3 Dwyer, Matthew B.
3 Grumberg, Orna
3 Gurfinkel, Arie
3 Hatcliff, John
3 Kröning, Daniel
3 Menghi, Claudio
3 Nam, Wonhong
3 Penczek, Wojciech
3 Strichman, Ofer
3 Tsuchiya, Tatsuhiro
3 Veith, Helmut
3 Zhang, Nan
2 Benedetti, Marco H.
2 Beneš, Nikola
2 Bernot, Gilles
2 Bersani, Marcello Maria
2 Bonakdarpour, Borzoo
2 Bultan, Tevfik
2 Ceterchi, Rodica
2 Dasgupta, Pallab
2 De Giacomo, Giuseppe
2 de Jong, Hidde
2 Dumas, Estelle
2 Ehlers, Rüdiger
2 Fraser, Gordon
2 Gargantini, Angelo
2 Gario, Marco
2 Ho, Hsi-Ming
2 Hustadt, Ullrich
2 Jobstmann, Barbara
2 Koskinen, Eric
2 Kozma, Laszlo
2 Lange, Martin
2 Laroussinie, François
2 Li, Jianwen
2 Luo, Xiangyu
2 Madhusudan, Parthasarathy
2 Maratea, Marco
2 Monteiro, Pedro T.
2 Mover, Sergio
2 Nymeyer, Albert
2 Ouaknine, Joel O.
2 Păsăreanu, Corina S.
2 Pastva, Samuel
2 Patrizi, Fabio
2 Pitt, Jeremy
2 Pu, Geguang
2 Raimondi, Franco
2 Raskin, Jean-François
2 Rawlings, Blake C.
2 Richard, Adrien
2 Rosenblueth, David A.
2 Rossi, Matteo A. C.
2 Rümmer, Philipp
2 Šafránek, David
2 Schiper, André
2 Sharygina, Natasha
2 Singerman, Eli
2 Spoletini, Paola
2 Su, Kaile
2 Szpyrka, Marcin
2 Szreter, Maciej
2 Tahar, Sofiène
...and 482 more Authors
all top 5

Cited in 50 Serials

22 Formal Methods in System Design
18 Formal Aspects of Computing
11 Theoretical Computer Science
8 Artificial Intelligence
5 Information and Computation
4 Acta Informatica
4 Journal of Automated Reasoning
3 Journal of Computer and System Sciences
3 Fundamenta Informaticae
3 Journal of Applied Mathematics
3 ACM Transactions on Computational Logic
3 Journal of Applied Logic
3 Journal of Logical and Algebraic Methods in Programming
2 Science of Computer Programming
2 Journal of Computer Science and Technology
2 Journal of Logic and Computation
2 Discrete Event Dynamic Systems
2 Distributed Computing
2 The Journal of Artificial Intelligence Research (JAIR)
2 The Journal of Logic and Algebraic Programming
2 Science in China. Series F
2 Journal of Membrane Computing
1 International Journal of General Systems
1 Information Processing Letters
1 Automatica
1 Programming and Computer Software
1 Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica
1 Cybernetics and Systems Analysis
1 Archives of Control Sciences
1 Nordic Journal of Computing
1 Theory of Computing Systems
1 Logic Journal of the IGPL
1 Journal of Combinatorial Optimization
1
1 Electronic Commerce Research
1 Theory and Practice of Logic Programming
1 Buletinul Științific. Universitatea din Pitești. Seria Matematică și Informatică
1 International Journal of Pure and Applied Mathematics
1 Computer Languages, Systems & Structures
1 Journal of Software
1 Mathematical Biosciences and Engineering
1 Electronic Notes in Theoretical Computer Science
1 Logical Methods in Computer Science
1 International Journal of Intelligent Computing and Cybernetics
1 Symmetry
1 Frontiers of Computer Science
1 Computer Science Review
1 Berichte aus der Mathematik
1 Prikladnaya Diskretnaya Matematika
1 Multiagent Systems, Artificial Societies, and Simulated Organizations

Citations by Year