Search Sciweavers | Sciweavers

4341 search results - page 14 / 869

» Quantitative Model checking

click to vote

ECLIPSE
2004
ACM

129views Software Engineering» more ECLIPSE 2004»

Supporting model checking education using BOGOR/Eclipse

14 years 2 months 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 »

click to vote

AICCSA
2006
IEEE

137views Hardware» more AICCSA 2006»

Modeling Redundancy: Quantitative and Qualitative Models

14 years 2 months ago

Download www.csm.ornl.gov

Redundancy is a system property that generally refers to duplication of state information or system function. While redundancy is usually investigated in the context of fault tole...

Ali Mili, Lan Wu, Frederick T. Sheldon, Mark Shere...

claim paper

Read More »

click to vote

CONCUR
2003
Springer

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

Multi-Valued Model Checking via Classical Model Checking

14 years 2 months 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 »

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 2 months ago