Search Sciweavers | Sciweavers

5015 search results - page 182 / 1003

» Model Checking a Path

129

click to vote

SPIN
1999
Springer

95views Theoretical Computer Science» more SPIN 1999»

Analyzing Mode Confusion via Model Checking

15 years 10 months ago

Download shemesh.larc.nasa.gov

Gerald Lüttgen, Victor Carreño

claim paper

Read More »

140

click to vote

TACAS
1999
Springer

95views Algorithms» more TACAS 1999»

Symbolic Model Checking without BDDs

15 years 10 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

115

click to vote

CAV
1998
Springer

75views Hardware» more CAV 1998»

MOCHA: Modularity in Model Checking

15 years 10 months ago

Download www.eecs.berkeley.edu

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

claim paper

Read More »

155

click to vote

CAV
1998
Springer

84views Hardware» more CAV 1998»

From Pre-historic to Post-modern Symbolic Model Checking

15 years 10 months ago

Download www.cs.huji.ac.il

Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer

claim paper

Read More »

128

click to vote

CAV
1998
Springer

79views Hardware» more CAV 1998»

Structural Symmetry and Model Checking

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers