Search Sciweavers | Sciweavers

1715 search results - page 39 / 343

» Domain-Specific Program Checking

108

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

Download ti.arc.nasa.gov

Willem Visser, Seungjoon Park, John Penix

claim paper

Read More »

click to vote

SAS
1998
Springer

65views Formal Methods» more SAS 1998»

Program Analysis as Model Checking of Abstract Interpretations

15 years 6 months ago

Download www.cs.ucla.edu

David A. Schmidt, Bernhard Steffen

claim paper

Read More »

click to vote

SAS
1994
Springer

86views Formal Methods» more SAS 1994»

Directional Type Checking of Logic Programs

15 years 5 months ago

Download www.eecs.berkeley.edu

Alexander Aiken, T. K. Lakshman

claim paper

Read More »

click to vote

CCS
2010
ACM

143views Security Privacy» more CCS 2010»

PAriCheck: an efficient pointer arithmetic checker for C programs

15 years 5 months ago

Download seclab.cs.sunysb.edu

Yves Younan, Pieter Philippaerts, Lorenzo Cavallar...

claim paper

Read More »

click to vote

CORR
2007
Springer

107views Education» more CORR 2007»

Automatic Coding Rule Conformance Checking Using Logic Programs

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers