Search Sciweavers | Sciweavers

2872 search results - page 163 / 575

» On (Omega-)Regular Model Checking

click to vote

SAS
1999
Springer

113views Formal Methods» more SAS 1999»

Model-Checking: A Tutorial Introduction

15 years 3 months ago

Download fmt.isti.cnr.it

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

claim paper

Read More »

click to vote

SPIN
1999
Springer

95views Theoretical Computer Science» more SPIN 1999»

Analyzing Mode Confusion via Model Checking

15 years 3 months ago

Download shemesh.larc.nasa.gov

Gerald Lüttgen, Victor Carreño

claim paper

Read More »

click to vote

TACAS
1999
Springer

95views Algorithms» more TACAS 1999»

Symbolic Model Checking without BDDs

15 years 3 months ago

Download www.cs.cmu.edu

Armin Biere, Alessandro Cimatti, Edmund M. Clarke,...

claim paper

Read More »

click to vote

CAV
1998
Springer

75views Hardware» more CAV 1998»

MOCHA: Modularity in Model Checking

15 years 3 months ago

Download www.eecs.berkeley.edu

Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Man...

claim paper

Read More »

click to vote

CAV
1998
Springer

84views Hardware» more CAV 1998»

From Pre-historic to Post-modern Symbolic Model Checking

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers