Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
NuSMV
CHF 49.75
Auf Lager
SKU
G1ON5HLD4I6
1 Verfügbar 
Geliefert zwischen Mo., 19.01.2026 und Di., 20.01.2026
Details
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. NuSMV is an updated version of the SMV symbolic model checker. NuSMV has been developed as a joint project between ITC-IRST (Istituto Trentino di Cultura, Istituto per la Ricerca Scientifica e Tecnologica in Trento, Italy), Carnegie Mellon University, the University of Genoa and the University of Trento. It is a reimplementation and extension of SMV, the first model checker 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.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786131944079
- Editor Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
- Größe H220mm x B220mm
- EAN 9786131944079
- Format Kartonierter Einband
- Titel NuSMV
- Herausgeber Betascript Publishing
- Anzahl Seiten 112
- Genre Informatik
Bewertungen
Schreiben Sie eine Bewertung
