<--- Back to Details
First PageDocument Content
Software / Model checking / Electromagnetism / Boolean algebra / Finite-state machine / Inverter / Semaphore / Model checkers / NuSMV / Electrical engineering
Date: 2002-07-09 12:14:57
Software
Model checking
Electromagnetism
Boolean algebra
Finite-state machine
Inverter
Semaphore
Model checkers
NuSMV
Electrical engineering

NuSMV 2.1 User Manual Roberto Cavada, Alessandro Cimatti, Emanuele Olivetti, Marco Pistore, and Marco Roveri IRST - Via Sommarive 18, 38055 Povo (Trento) – Italy

Add to Reading List

Source URL: nusmv.fbk.eu

Download Document from Source Website

File Size: 340,24 KB

Share Document on Facebook

Similar Documents

General Terms and Conditions of ITEMIS AG for Software Licenses itemis AG Version 2.0.1,   General Terms and Conditions of ITEMIS AG for Software Licenses

General Terms and Conditions of ITEMIS AG for Software Licenses itemis AG Version 2.0.1, General Terms and Conditions of ITEMIS AG for Software Licenses

DocID: 1xW2N - View Document

Effective Identification of Failure-Inducing Changes: A Hybrid Approach∗ Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China

Effective Identification of Failure-Inducing Changes: A Hybrid Approach∗ Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China

DocID: 1xW1R - View Document

GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. Edinburgh

GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. Edinburgh

DocID: 1xW1G - View Document

Does ACM’s Code of Ethics Change Ethical Decision Making in Software Development? Andrew McNamara Justin Smith

Does ACM’s Code of Ethics Change Ethical Decision Making in Software Development? Andrew McNamara Justin Smith

DocID: 1xW0L - View Document

AetherWorks 501 Fifth Avenue, New York, NYSENIOR SOFTWARE ENGINEER AETHERWORKS AetherWorks is a Software Research & Venture Development firm. We have been located on Bryant Park for the last 7 years where we have

AetherWorks 501 Fifth Avenue, New York, NYSENIOR SOFTWARE ENGINEER AETHERWORKS AetherWorks is a Software Research & Venture Development firm. We have been located on Bryant Park for the last 7 years where we have

DocID: 1xW0u - View Document