Sciweavers

5255 search results - page 43 / 1051

» Formal Methods for Privacy

21

SAS
2010
Springer

108views Formal Methods» more SAS 2010»

Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables

13 years 7 months ago

Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables

Download www-pequan.lip6.fr

Alexandre Chapoutot

claim paper

Read More »

21

SAS
2010
Springer

124views Formal Methods» more SAS 2010»

Abstract Interpreters for Free

13 years 7 months ago

Abstract Interpreters for Free

Download matt.might.net

Matthew Might

claim paper

Read More »

21

SAS
2010
Springer

148views Formal Methods» more SAS 2010»

Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis

13 years 7 months ago

Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis

Download www.stanford.edu

Isil Dillig, Thomas Dillig, Alex Aiken

claim paper

Read More »

20

MEMOCODE
2010
IEEE

176views Formal Methods» more MEMOCODE 2010»

Predictable multithreading of embedded applications using PRET-C

13 years 6 months ago

Predictable multithreading of embedded applications using PRET-C

Download www.ece.auckland.ac.nz

Sidharta Andalam, Partha S. Roop, Alain Girault

claim paper

Read More »

24

FORTE
2009

96views Formal Methods» more FORTE 2009»

A Type Graph Model for Java Programs

13 years 6 months ago

A Type Graph Model for Java Programs

Download eprints.eemcs.utwente.nl

Arend Rensink, Eduardo Zambon

claim paper

Read More »

« Prev « First page 43 / 1051 Last » Next »