Search Sciweavers | Sciweavers

14244 search results - page 406 / 2849

» Modeling Program Predictability

173

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 »

185

Voted

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 »

152

Voted

CL
2000
Springer

85views Automated Reasoning» more CL 2000»

Partial Models of Extended Generalized Logic Programs

15 years 11 months ago

Download centria.di.fct.unl.pt

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

claim paper

Read More »

164

click to vote

ECOOPW
1999
Springer

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

Aspect-Oriented Programming for Role Models

15 years 11 months ago

Download doc.utwente.nl

Elizabeth A. Kendall

claim paper

Read More »

152

Voted

SAS
1998
Springer

65views Formal Methods» more SAS 1998»

Program Analysis as Model Checking of Abstract Interpretations

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers