Search Sciweavers | Sciweavers

2873 search results - page 170 / 575

» Model Checking and the Mu-calculus

135

click to vote

LICS
1992
IEEE

78views Automated Reasoning» more LICS 1992»

Symbolic Model Checking for Real-time Systems

15 years 10 months ago

Download mtc.epfl.ch

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

claim paper

Read More »

120

click to vote

POPL
1992
ACM

93views Programming Languages» more POPL 1992»

Model Checking and Abstraction

15 years 10 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

127

click to vote

DAC
1990
ACM

86views Computer Architecture» more DAC 1990»

Sequential Circuit Verification Using Symbolic Model Checking

15 years 10 months ago

Download www.cadence.com

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

claim paper

Read More »

152

click to vote

AMOST
2007
ACM

240views Software Engineering» more AMOST 2007»

Relating counterexamples to test cases in CTL model checking specifications

15 years 9 months ago

Download www.ist.tugraz.at

Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordo...

claim paper

Read More »

144

click to vote

ATVA
2007
Springer

98views Hardware» more ATVA 2007»

Model Checking Bounded Prioritized Time Petri Nets

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers