Search Sciweavers | Sciweavers

12981 search results - page 73 / 2597

» Model Checking and Abstraction

154

click to vote

DATESO
2010

150views Database» more DATESO 2010»

Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal

15 years 2 months ago

Download sunsite.informatik.rwth-aachen.de

Abstract. Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as wel...

Martin Kot

claim paper

Read More »

143

click to vote

ECLIPSE
2004
ACM

129views Software Engineering» more ECLIPSE 2004»

Supporting model checking education using BOGOR/Eclipse

15 years 9 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 »

144

click to vote

CONCUR
2003
Springer

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

Multi-Valued Model Checking via Classical Model Checking

15 years 9 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 »

120

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

15 years 9 months ago