Sciweavers

2407 search results - page 20 / 482

» A Tool for Abstraction in Model Checking

59

CAV
1999
Springer

108views Hardware» more CAV 1999»

Abstract and Model Check While You Prove

15 years 1 months ago

Abstract and Model Check While You Prove

Download www.csl.sri.com

Hassen Saïdi, Natarajan Shankar

claim paper

Read More »

79

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

15 years 1 months ago

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

Download www.iis.nsk.su

Ron van der Meyden, Nikolay V. Shilov

claim paper

Read More »

60

SAS
1998
Springer

65views Formal Methods» more SAS 1998»

Program Analysis as Model Checking of Abstract Interpretations

15 years 1 months ago

Program Analysis as Model Checking of Abstract Interpretations

Download www.cs.ucla.edu

David A. Schmidt, Bernhard Steffen

claim paper

Read More »

73

TACAS
1998
Springer

82views Algorithms» more TACAS 1998»

Model Checking of Real-Time Reachability Properties Using Abstractions

15 years 1 months ago

Model Checking of Real-Time Reachability Properties Using Abstractions

Download www-verimag.imag.fr

Conrado Daws, Stavros Tripakis

claim paper

Read More »

56

POPL
1992
ACM

93views Programming Languages» more POPL 1992»

Model Checking and Abstraction

15 years 1 months ago

Model Checking and Abstraction

Download www.cs.cmu.edu

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

claim paper

Read More »

« Prev « First page 20 / 482 Last » Next »