Search Sciweavers | Sciweavers

777 search results - page 7 / 156

» Model Checking with Formula-Dependent Abstract Models

139

Voted

TACAS
2004
Springer

130views Algorithms» more TACAS 2004»

Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases

16 years 1 days ago

Download www.sigda.org

Kairong Qian, Albert Nymeyer

claim paper

Read More »

162

click to vote

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

15 years 12 months ago

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne

claim paper

Read More »

154

click to vote

TACAS
2001
Springer

96views Algorithms» more TACAS 2001»

Boolean and Cartesian Abstraction for Model Checking C Programs

15 years 11 months ago

Download www.inf.uni-konstanz.de

Thomas Ball, Andreas Podelski, Sriram K. Rajamani

claim paper

Read More »

165

click to vote

FMSP
2000
ACM

131views Formal Methods» more FMSP 2000»

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

15 years 11 months ago

Download ti.arc.nasa.gov

Willem Visser, Seungjoon Park, John Penix

claim paper

Read More »

150

click to vote

ASM
2000
ASM

111views Computational Biology» more ASM 2000»

Model Checking Abstract State Machines and Beyond

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers