Search Sciweavers | Sciweavers

558 search results - page 7 / 112

» Optimizing Symbolic Model Checking for Constraint-Rich Model...

click to vote

CAV
1998
Springer

84views Hardware» more CAV 1998»

From Pre-historic to Post-modern Symbolic Model Checking

13 years 12 months ago

Download www.cs.huji.ac.il

Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer

claim paper

Read More »

click to vote

ICALP
1997
Springer

110views Programming Languages» more ICALP 1997»

Symbolic Model Checking for Probabilistic Processes

13 years 12 months ago

Download www.cs.cmu.edu

Christel Baier, Edmund M. Clarke, Vassili Hartonas...

claim paper

Read More »

click to vote

RTSS
1993
IEEE

128views Control Systems» more RTSS 1993»

Symbolic Model Checking for Event-Driven Real-Time Systems

13 years 11 months ago

Download cc.ee.ntu.edu.tw

Jin Yang, Aloysius K. Mok, Farn Wang

claim paper

Read More »

click to vote

LICS
1992
IEEE

78views Automated Reasoning» more LICS 1992»

Symbolic Model Checking for Real-time Systems

13 years 11 months ago

Download mtc.epfl.ch

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

claim paper

Read More »

click to vote

DAC
1990
ACM

86views Computer Architecture» more DAC 1990»

Sequential Circuit Verification Using Symbolic Model Checking

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers