Search Sciweavers | Sciweavers

4447 search results - page 207 / 890

» Model Checking Games

108

click to vote

ICALP
1993
Springer

78views Programming Languages» more ICALP 1993»

Local Model Checking for Context-Free Processes

15 years 8 months ago

Download www.cs.helsinki.fi

Hardi Hungar, Bernhard Steffen

claim paper

Read More »

106

click to vote

LFCS
1994
Springer

123views Artificial Intelligence» more LFCS 1994»

On Model Checking Infinite-State Systems

15 years 8 months ago

Download www.configit.com

Henrik Reif Andersen

claim paper

Read More »

116

click to vote

LICS
1992
IEEE

78views Automated Reasoning» more LICS 1992»

Symbolic Model Checking for Real-time Systems

15 years 8 months ago

Download mtc.epfl.ch

Thomas A. Henzinger, Xavier Nicollin, Joseph Sifak...

claim paper

Read More »

104

click to vote

POPL
1992
ACM

93views Programming Languages» more POPL 1992»

Model Checking and Abstraction

15 years 8 months ago

Download www.cs.cmu.edu

Edmund M. Clarke, Orna Grumberg, David E. Long

claim paper

Read More »

110

Voted

DAC
1990
ACM

86views Computer Architecture» more DAC 1990»

Sequential Circuit Verification Using Symbolic Model Checking

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers