Back to Results
First PageMeta Content
Procedural programming languages / NuSMV / Boolean algebra / Data types / Expr / Boolean data type / Model checking / C / FALSE / Computing / Software engineering / Software


NuSMV 2.3 User Manual Roberto Cavada, Alessandro Cimatti, Emanuele Olivetti, Gavin Keighren, Marco Pistore, Marco Roveri, Simone Semprini and Andrey Tchaltsev
Add to Reading List

Document Date: 2005-11-21 08:41:53

Open Document

File Size: 282,30 KB

Share Result on Facebook

City

Reading / /

Currency

USD / LTL / /

/

Facility

Colorado University / /

IndustryTerm

synchronous and asynchronous finite state systems / technology transfer projects / software architecture / /

OperatingSystem

POSIX / /

Organization

Colorado University / /

Person

Gavin Keighren / Marco Pistore / Alessandro Cimatti / Marco Roveri / Andrey Tchaltsev / Simone Semprini / /

Position

interpreter / /

ProgrammingLanguage

ANSI C / XML / /

Technology

XML / Simulation / ANSI C / Finite State Machine / /

URL

http /

SocialTag