Search Sciweavers | Sciweavers

9067 search results - page 170 / 1814

» Adaptive Model Checking

142

click to vote

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

15 years 9 months ago

Download www.iis.nsk.su

Ron van der Meyden, Nikolay V. Shilov

claim paper

Read More »

114

click to vote

ICSE
1999
IEEE-ACM

96views Software Engineering» more ICSE 1999»

Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts

15 years 9 months ago

Download www.cs.washington.edu

William Chan, Richard J. Anderson, Paul Beame, Dav...

claim paper

Read More »

127

click to vote

SAS
1999
Springer

113views Formal Methods» more SAS 1999»

Model-Checking: A Tutorial Introduction

15 years 9 months ago

Download fmt.isti.cnr.it

Markus Müller-Olm, David A. Schmidt, Bernhard...

claim paper

Read More »

117

click to vote

SPIN
1999
Springer

95views Theoretical Computer Science» more SPIN 1999»

Analyzing Mode Confusion via Model Checking

15 years 9 months ago

Download shemesh.larc.nasa.gov

Gerald Lüttgen, Victor Carreño

claim paper

Read More »

123

click to vote

TACAS
1999
Springer

95views Algorithms» more TACAS 1999»

Symbolic Model Checking without BDDs

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers