Search Sciweavers | Sciweavers

4341 search results - page 210 / 869

» Quantitative Model checking

Voted

LICS
1992
IEEE

78views Automated Reasoning» more LICS 1992»

Symbolic Model Checking for Real-time Systems

15 years 4 months ago

Download mtc.epfl.ch

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

claim paper

Read More »

Voted

POPL
1992
ACM

93views Programming Languages» more POPL 1992»

Model Checking and Abstraction

15 years 4 months ago

Download www.cs.cmu.edu

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

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

Download www.cadence.com

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

claim paper

Read More »

100

Voted

AMOST
2007
ACM

240views Software Engineering» more AMOST 2007»

Relating counterexamples to test cases in CTL model checking specifications

15 years 4 months ago

Download www.ist.tugraz.at

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

claim paper

Read More »

Voted

ATVA
2007
Springer

98views Hardware» more ATVA 2007»

Model Checking Bounded Prioritized Time Petri Nets

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers