Search Sciweavers | Sciweavers

788 search results - page 31 / 158

» Symbolic Equivalence Checking

click to vote

ICALP
1997
Springer

110views Programming Languages» more ICALP 1997»

Symbolic Model Checking for Probabilistic Processes

15 years 7 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

107

click to vote

RTSS
1993
IEEE

128views Control Systems» more RTSS 1993»

Symbolic Model Checking for Event-Driven Real-Time Systems

15 years 7 months ago

Download cc.ee.ntu.edu.tw

Jin Yang, Aloysius K. Mok, Farn Wang

claim paper

Read More »

103

click to vote

LICS
1992
IEEE

78views Automated Reasoning» more LICS 1992»

Symbolic Model Checking for Real-time Systems

15 years 7 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

15 years 7 months ago

Download www.cadence.com

Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMil...

claim paper

Read More »

100

Voted

FORTE
2007

127views Formal Methods» more FORTE 2007»

Testing Distributed Systems Through Symbolic Model Checking

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers