Search Sciweavers | Sciweavers

10870 search results - page 106 / 2174

» Model Checking Programs

122

click to vote

ICSE
2009
IEEE-ACM

94views Software Engineering» more ICSE 2009»

Automatic dimension inference and checking for object-oriented programs

16 years 7 months ago

Download suif.stanford.edu

Sudheendra Hangal, Monica S. Lam

claim paper

Read More »

131

click to vote

SAS
1994
Springer

86views Formal Methods» more SAS 1994»

Directional Type Checking of Logic Programs

15 years 10 months ago

Download www.eecs.berkeley.edu

Alexander Aiken, T. K. Lakshman

claim paper

Read More »

136

click to vote

CCS
2010
ACM

143views Security Privacy» more CCS 2010»

PAriCheck: an efficient pointer arithmetic checker for C programs

15 years 10 months ago

Download seclab.cs.sunysb.edu

Yves Younan, Pieter Philippaerts, Lorenzo Cavallar...

claim paper

Read More »

121

click to vote

CORR
2007
Springer

107views Education» more CORR 2007»

Automatic Coding Rule Conformance Checking Using Logic Programs

15 years 6 months ago

Download www.ggcc.info

Guillem Marpons-Ucero, Julio Mariño, &Aacut...

claim paper

Read More »

130

click to vote

JHSN
2006

67views more JHSN 2006»

SPEE: A Secure Program Execution Environment tool using code integrity checking

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers