Search Sciweavers | Sciweavers

1715 search results - page 39 / 343

» Domain-Specific Program Checking

157

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 »

122

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

Download www.cs.ucla.edu

David A. Schmidt, Bernhard Steffen

claim paper

Read More »

122

click to vote

SAS
1994
Springer

86views Formal Methods» more SAS 1994»

Directional Type Checking of Logic Programs

15 years 9 months ago

Download www.eecs.berkeley.edu

Alexander Aiken, T. K. Lakshman

claim paper

Read More »

131

click to vote

CCS
2010
ACM

143views Security Privacy» more CCS 2010»

PAriCheck: an efficient pointer arithmetic checker for C programs

15 years 9 months ago

Download seclab.cs.sunysb.edu

Yves Younan, Pieter Philippaerts, Lorenzo Cavallar...

claim paper

Read More »

111

click to vote

CORR
2007
Springer

107views Education» more CORR 2007»

Automatic Coding Rule Conformance Checking Using Logic Programs

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers