Sciweavers

12981 search results - page 8 / 2597

» Model Checking and Abstraction

23

FMSP
2000
ACM

131views Formal Methods» more FMSP 2000»

Using predicate abstraction to reduce object-oriented programs for model checking

13 years 11 months ago

Using predicate abstraction to reduce object-oriented programs for model checking

Download ti.arc.nasa.gov

Willem Visser, Seungjoon Park, John Penix

claim paper

Read More »

21

ASM
2000
ASM

111views Computational Biology» more ASM 2000»

Model Checking Abstract State Machines and Beyond

13 years 11 months ago

Model Checking Abstract State Machines and Beyond

Download www.eecs.umich.edu

Marc Spielmann

claim paper

Read More »

16

CAV
1999
Springer

108views Hardware» more CAV 1999»

Abstract and Model Check While You Prove

13 years 11 months ago

Abstract and Model Check While You Prove

Download www.csl.sri.com

Hassen Saïdi, Natarajan Shankar

claim paper

Read More »

20

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

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

13 years 11 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 »

22

SAS
1998
Springer

65views Formal Methods» more SAS 1998»

Program Analysis as Model Checking of Abstract Interpretations

13 years 11 months ago

Program Analysis as Model Checking of Abstract Interpretations

Download www.cs.ucla.edu

David A. Schmidt, Bernhard Steffen

claim paper

Read More »

« Prev « First page 8 / 2597 Last » Next »