Search Sciweavers | Sciweavers

2872 search results - page 164 / 575

» On (Omega-)Regular Model Checking

click to vote

CAV
1998
Springer

79views Hardware» more CAV 1998»

Structural Symmetry and Model Checking

15 years 3 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 3 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 3 months ago

Download www.cs.umass.edu

Neil Immerman

claim paper

Read More »

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

Download www-verimag.imag.fr

Marius Bozga, Conrado Daws, Oded Maler, Alfredo Ol...

claim paper

Read More »

102

click to vote

KR
1998
Springer

133views Automated Reasoning» more KR 1998»

The Complexity of Model Checking in Modal Event Calculi with Quantifiers

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers