Sciweavers

4340 search results - page 34 / 868

» Formal Methods and Cryptography

88

SAS
2010
Springer

148views Formal Methods» more SAS 2010»

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

15 years 10 days 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 »

90

MEMOCODE
2010
IEEE

176views Formal Methods» more MEMOCODE 2010»

Predictable multithreading of embedded applications using PRET-C

14 years 12 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 »

110

FORTE
2009

96views Formal Methods» more FORTE 2009»

A Type Graph Model for Java Programs

14 years 11 months ago

A Type Graph Model for Java Programs

Download eprints.eemcs.utwente.nl

Arend Rensink, Eduardo Zambon

claim paper

Read More »

96

Voted

ICFCA
2009
Springer

113views Formal Methods» more ICFCA 2009»

The Logic of Learning

14 years 11 months ago

The Logic of Learning

Download www.fi.muni.cz

Luc De Raedt

claim paper

Read More »

102

SBMF
2010
Springer

125views Formal Methods» more SBMF 2010»

Simulating Truly Concurrent CSP

14 years 8 months ago

Simulating Truly Concurrent CSP

Download www.iist.unu.edu

Moritz Kleine, J. W. Sanders

claim paper

Read More »

« Prev « First page 34 / 868 Last » Next »