Search Sciweavers | Sciweavers

32032 search results - page 2 / 6407

» Verified programming in Guru

click to vote

APLAS
2010
ACM

174views Programming Languages» more APLAS 2010»

A Quick Tour of the VeriFast Program Verifier

13 years 6 months ago

Download people.cs.kuleuven.be

Bart Jacobs, Jan Smans, Frank Piessens

claim paper

Read More »

click to vote

PLDI
2004
ACM

89views Programming Languages» more PLDI 2004»

Verifying safety properties using separation and heterogeneous abstractions

13 years 11 months ago

Download pages.cs.wisc.edu

Eran Yahav, G. Ramalingam

claim paper

Read More »

click to vote

FAC
2006

122views more FAC 2006»

The verified software repository: a step towards the verifying compiler

13 years 6 months ago

Download www-sop.inria.fr

The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...

Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock

claim paper

Read More »

click to vote

ECOOP
2004
Springer

65views Programming Languages» more ECOOP 2004»

Efficiently Verifiable Escape Analysis

13 years 11 months ago

Download www.cs.rutgers.edu

Matthew Q. Beers, Christian Stork, Michael Franz

claim paper

Read More »

click to vote

IFIP
2010
Springer

101views Programming Languages» more IFIP 2010»

Towards Automatic Analysis of Election Verifiability Properties

13 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers