Nusmv 2: An opensource tool for symbolic model checking

Nusmv 2: An opensource tool for symbolic model checking (2002)

Cached

Download Links

[nusmv.irst.itc.it]
[sra.itc.it]
[www.cs.cmu.edu]

Other Repositories/Bibliography

DBLP

by Alessandro Cimatti , Edmund Clarke , Enrico Giunchiglia , Fausto Giunchiglia , Marco Pistore , Marco Roveri , Roberto Sebastiani , Armando Tacchella

Citations:

170 - 13 self

BibTeX

@INPROCEEDINGS{Cimatti02nusmv2:,
    author = {Alessandro Cimatti and Edmund Clarke and Enrico Giunchiglia and Fausto Giunchiglia and Marco Pistore and Marco Roveri and Roberto Sebastiani and Armando Tacchella},
    title = {Nusmv 2: An opensource tool for symbolic model checking},
    booktitle = {},
    year = {2002},
    pages = {359--364},
    publisher = {Springer}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

1207	Symbolic Model Checking - McMillan - 1993
909	Chaff: Engineering an efficient SAT solver - Moskewicz, Madigan, et al. - 2001
591	Y.: Symbolic model checking without BDDs - Biere, Cimatti, et al. - 1999
87	M.: Nusmv: A new symbolic model checker - Cimatti, Clarke, et al. - 2000
73	Benefits of bounded model checking at an industrial setting - Copty, Fix, et al. - 2001
70	A SAT based approach for solving formulas over Boolean and linear mathematical propositions - Audemard, Bertoli, et al. - 2002
64	Model Checking Early Requirements Specifications in Tropos - Fuxman, Pistore, et al. - 2001
56	Efficient BDD Algorithms for FSM Synthesis and Verification - Ranjan, Aziz, et al. - 1995
50	MBP: a model based planner - Bertoli, Cimatti, et al. - 2001
43	Verification support for workflow design with UML activity graphs - Eshuis, Wieringa - 2002
41	SAT based abstraction-refinement using ILP and machine learning techniques - Clarke, Gupta, et al. - 2002
38	Tuning SAT checkers for bounded model checking - Shtrichman - 2000
33	Compositional Reasoning in Model Checking - Berezin, Campos, et al. - 1998
22	Evaluating search heuristics and optimization techniques in propositional satisfiability - Giunchiglia, Maratea, et al. - 2001
17	Improving the Encoding of LTL Model Checking into SAT - Cimatti, Pistore, et al. - 2002
8	A Fully Automated Approach for Proving Safety Properties in Interlocking Software Using Automatic Theorem-Proving - Borälv - 1997
8	Level Symbolic Model Checking: A New Approach for Verifying Arithmetic Circuits - Word - 1995