Search Sciweavers | Sciweavers

4341 search results - page 206 / 869

» Quantitative Model checking

click to vote

CAV
1998
Springer

84views Hardware» more CAV 1998»

From Pre-historic to Post-modern Symbolic Model Checking

15 years 4 months ago

Download www.cs.huji.ac.il

Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer

claim paper

Read More »

click to vote

CAV
1998
Springer

79views Hardware» more CAV 1998»

Structural Symmetry and Model Checking

15 years 4 months ago

Download infolab.stanford.edu

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

claim paper

Read More »

click to vote

FMCAD
1998
Springer

89views Formal Methods» more FMCAD 1998»

A Performance Study of BDD-Based Model Checking

15 years 4 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

click to vote

FSTTCS
1998
Springer

112views Software Engineering» more FSTTCS 1998»

Descriptive Complexity and Model Checking

15 years 4 months ago

Download www.cs.umass.edu

Neil Immerman

claim paper

Read More »

117

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 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers