NuSMV
id:
nusmv-300-12079915
title:
NuSMV
text:
In computer science, NuSMV is a reimplementation and extension of the SMV symbolic model checker, the first model checking tool based on binary decision diagrams (BDDs).
The tool has been designed as an open architecture for model checking. It is aimed at reliable verification of industrially sized designs, for use as a backend for other verification tools and as a research tool for formal verification techniques. NuSMV has been developed as a joint project between ITC-IRST, Carnegie Mellon Univ
brand slug:
wiki
category slug:
encyclopedia
description:
Reimplementation and extension of SMV model checker
original url:
https://en.wikipedia.org/wiki/NuSMV
date created:
date modified:
2024-01-30T08:00:29Z
main entity:
{"identifier":"Q17072293","url":"https://www.wikidata.org/entity/Q17072293"}
image:
fields total:
13
integrity:
14