Back to Results
First PageMeta Content
Applied mathematics / Formal methods / Software / Logic in computer science / Model checking / Electronic design automation / Boolean algebra / Boolean satisfiability problem / Linear temporal logic / Model checkers / Theoretical computer science / NuSMV


NuSMV 2: An OpenSource Tool for Symbolic Model Checking   
Add to Reading List

Document Date: 2002-07-09 12:35:04

Open Document

File Size: 54,18 KB

Share Result on Facebook

City

Pittsburgh / Seattle / Toronto / Pisa / /

Company

CNF / International Journal / /

Country

United States / Italy / /

/

Event

Man-Made Disaster / /

Facility

Carnegie Mellon University / @irst.itc.it Carnegie Mellon University / /

IndustryTerm

notable software systems / larger software system / increased software quality / software requirements / prototype tools / technology transfer projects / search heuristics / software systems / /

NaturalFeature

Lake Tahoe / /

OperatingSystem

Linux / GNU / /

Organization

Open Source Organization / School of Computer Science / Carnegie Mellon University / /

Person

Enrico Giunchiglia / Marco Roveri / Armando Tacchella / Fausto Giunchiglia / Proc / Marco Pistore / Roberto Sebastiani / Edmund Clarke / Alessandro Cimatti / /

Position

GNU Lesser General Public License / property manager / Model Based Planner / /

Product

Apache / /

ProvinceOrState

Pennsylvania / /

Technology

BDD algorithms / SAT-based technologies / Finite State Machine / Linux / machine learning / SIMULATION / /

URL

http /

SocialTag