Search Sciweavers | Sciweavers

1018 search results - page 19 / 204

» Abstraction and Refinement in Model Checking

click to vote

DATE
2000
IEEE

76views Hardware» more DATE 2000»

Iterative Abstraction-Based CTL Model Checking

13 years 12 months ago

Download www.date-conference.com

Jae-Young Jang, In-Ho Moon, Gary D. Hachtel

claim paper

Read More »

click to vote

FMSP
2000
ACM

131views Formal Methods» more FMSP 2000»

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

13 years 12 months ago

Download ti.arc.nasa.gov

Willem Visser, Seungjoon Park, John Penix

claim paper

Read More »

click to vote

ASM
2000
ASM

111views Computational Biology» more ASM 2000»

Model Checking Abstract State Machines and Beyond

13 years 12 months ago

Download www.eecs.umich.edu

Marc Spielmann

claim paper

Read More »

click to vote

CAV
1999
Springer

108views Hardware» more CAV 1999»

Abstract and Model Check While You Prove

13 years 12 months ago

Download www.csl.sri.com

Hassen Saïdi, Natarajan Shankar

claim paper

Read More »

click to vote

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers