Search Sciweavers | Sciweavers

14244 search results - page 406 / 2849

» Modeling Program Predictability

112

click to vote

TACAS
2001
Springer

96views Algorithms» more TACAS 2001»

Boolean and Cartesian Abstraction for Model Checking C Programs

15 years 8 months ago

Download www.inf.uni-konstanz.de

Thomas Ball, Andreas Podelski, Sriram K. Rajamani

claim paper

Read More »

133

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 8 months ago

Download ti.arc.nasa.gov

Willem Visser, Seungjoon Park, John Penix

claim paper

Read More »

100

click to vote

CL
2000
Springer

85views Automated Reasoning» more CL 2000»

Partial Models of Extended Generalized Logic Programs

15 years 8 months ago

Download centria.di.fct.unl.pt

José Júlio Alferes, Heinrich Herre, ...

claim paper

Read More »

106

click to vote

ECOOPW
1999
Springer

78views Distributed And Parallel Com...» more ECOOPW 1999»

Aspect-Oriented Programming for Role Models

15 years 8 months ago

Download doc.utwente.nl

Elizabeth A. Kendall

claim paper

Read More »

103

click to vote

SAS
1998
Springer

65views Formal Methods» more SAS 1998»

Program Analysis as Model Checking of Abstract Interpretations

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers