Back to Results
First PageMeta Content
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

Document Date: 2002-07-09 12:14:57

Open Document

File Size: 340,24 KB

Share Result on Facebook

City

Reading / /

Currency

LTL / /

/

Facility

Colorado University / /

IndustryTerm

logical product / asynchronous systems / synchronous and asynchronous finite state systems / communication protocols / synchronous systems / technology transfer projects / asynchronous network / software architecture / /

OperatingSystem

POSIX / /

Organization

In Chapter / Colorado University / /

Person

Marco Roveri / Marco Pistore / Alessandro Cimatti / /

/

Position

interpreter / /

ProgrammingLanguage

ANSI C / /

Technology

Simulation / ANSI C / describing communication protocols / /

URL

http /

SocialTag