Sciweavers

12981 search results - page 8 / 2597

» Model Checking and Abstraction

121

FMSP
2000
ACM

131views Formal Methods» more FMSP 2000»

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

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

110

ASM
2000
ASM

111views Computational Biology» more ASM 2000»

Model Checking Abstract State Machines and Beyond

15 years 7 months ago

Model Checking Abstract State Machines and Beyond

Download www.eecs.umich.edu

Marc Spielmann

claim paper

Read More »

101

Voted

CAV
1999
Springer

108views Hardware» more CAV 1999»

Abstract and Model Check While You Prove

15 years 7 months ago

Abstract and Model Check While You Prove

Download www.csl.sri.com

Hassen Saïdi, Natarajan Shankar

claim paper

Read More »

125

Voted

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

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

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

97

Voted

SAS
1998
Springer

65views Formal Methods» more SAS 1998»

Program Analysis as Model Checking of Abstract Interpretations

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