Search Sciweavers | Sciweavers

7961 search results - page 112 / 1593

» Input-Output Model Programs

150

click to vote

TACAS
2001
Springer

96views Algorithms» more TACAS 2001»

Boolean and Cartesian Abstraction for Model Checking C Programs

15 years 10 months ago

Download www.inf.uni-konstanz.de

Thomas Ball, Andreas Podelski, Sriram K. Rajamani

claim paper

Read More »

162

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

Download ti.arc.nasa.gov

Willem Visser, Seungjoon Park, John Penix

claim paper

Read More »

125

click to vote

CL
2000
Springer

85views Automated Reasoning» more CL 2000»

Partial Models of Extended Generalized Logic Programs

15 years 10 months ago

Download centria.di.fct.unl.pt

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

claim paper

Read More »

136

click to vote

ECOOPW
1999
Springer

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

Aspect-Oriented Programming for Role Models

15 years 10 months ago

Download doc.utwente.nl

Elizabeth A. Kendall

claim paper

Read More »

129

click to vote

SAS
1998
Springer

65views Formal Methods» more SAS 1998»

Program Analysis as Model Checking of Abstract Interpretations

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers