Search Sciweavers | Sciweavers

2873 search results - page 166 / 575

» Model Checking and the Mu-calculus

147

Voted

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 »

126

Voted

CAV
1998
Springer

79views Hardware» more CAV 1998»

Structural Symmetry and Model Checking

15 years 10 months ago

Download infolab.stanford.edu

Gurmeet Singh Manku, Ramin Hojati, Robert K. Brayt...

claim paper

Read More »

120

click to vote

FMCAD
1998
Springer

89views Formal Methods» more FMCAD 1998»

A Performance Study of BDD-Based Model Checking

15 years 10 months ago

Download www.cs.cmu.edu

Bwolen Yang, Randal E. Bryant, David R. O'Hallaron...

claim paper

Read More »

126

click to vote

FSTTCS
1998
Springer

112views Software Engineering» more FSTTCS 1998»

Descriptive Complexity and Model Checking

15 years 10 months ago

Download www.cs.umass.edu

Neil Immerman

claim paper

Read More »

171

click to vote

FTRTFT
1998
Springer

123views Formal Methods» more FTRTFT 1998»

KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98)

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers