Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

PLPV
2009
ACM

favoriteEmaildiscussreport

80views Programming Languages» more PLPV 2009»

Verified programming in Guru

14 years 1 months ago

Verified programming in Guru

Download guru-lang.googlecode.com

Aaron Stump, Morgan Deters, Adam Petcher, Todd Sch

Real-time Traffic

PLPV 2009 | Programming Languages |

claim paper

Related Content

» From a Verified Kernel towards Verified Systems

» Resource typing in Guru

» Pervasive Compiler Verification From Verified Programs to Verified Systems

» Verifying safety properties of concurrent Java programs using 3valued logic

» A Quick Tour of the VeriFast Program Verifier

» Verifying safety properties using separation and heterogeneous abstractions

» The verified software repository a step towards the verifying compiler

» Efficiently Verifiable Escape Analysis

» Towards Automatic Analysis of Election Verifiability Properties

Post Info
More Details (n/a)

Added	17 Mar 2010
Updated	17 Mar 2010
Type	Conference
Year	2009
Where	PLPV
Authors	Aaron Stump, Morgan Deters, Adam Petcher, Todd Schiller, Timothy W. Simpson

Comments (0)