Search Sciweavers | Sciweavers

23

LICS
2005
IEEE

133views Automated Reasoning» more LICS 2005»

Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics

14 years 1 months ago

Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...

Patrice Godefroid, Michael Huth

claim paper

Read More »

20

click to vote

ECLIPSE
2004
ACM

129views Software Engineering» more ECLIPSE 2004»

Supporting model checking education using BOGOR/Eclipse

14 years 28 days ago

Download projects.cis.ksu.edu

This paper describes our eﬀort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...

Matthew B. Dwyer, John Hatcliff, Matthew Hoosier

claim paper

Read More »

21

click to vote

CONCUR
2003
Springer

122views Distributed And Parallel Com...» more CONCUR 2003»

Multi-Valued Model Checking via Classical Model Checking

14 years 22 days ago

Download www.cs.toronto.edu

Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...

Arie Gurfinkel, Marsha Chechik

claim paper

Read More »

22

click to vote

ATVA
2005
Springer

142views Hardware» more ATVA 2005»

Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology

14 years 1 months ago