State-of-the-art SAT solver used until version 2.5.0, and the RBC The University of Genova has contributed SIM, a Which can be connected to the Minisat SAT NuSMV2, combinesīDD-based model checking component that exploits the CUDD libraryĭeveloped by Fabio Somenzi at Colorado University and SAT-based modelĬhecking component that includes an RBC-based Bounded Model Checker, ![]() Techniques, and applied to other research areas. Reliably used for the verification of industrial designs, as a coreįor custom verification tools, as a testbed for formal verification Systems Unit in the Digital Industry Centerĭesigned to be an open architecture for model checking, which can be Source license that allows free academic and commercial usage of Versions of NuSMV are distributed under the LGPL v2.1 license. The release provides some new features, many bugįixes and optimizations, and substantial differences in the software ![]() NuSMV 2.6.0 is a major release that comes after four years passed working NuSMV home page NuSMV: a new symbolic model checkerĢ.6.0 is OUT! nuXmv 1.0.0 a new symbolic model checker for the analysis of synchronous finite-state and infinite-state systems is OUT
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |