Upload
Featured Recent Articles Topics Login Upload

Search Results for 'Dafny Assert'

Dafny Assert published presentations and documents on DocSlides.

Using and Building an Automatic Program Verifier
Using and Building an Automatic Program Verifier
by pasty-toler
K. Rustan M. Leino. Research in Software Engineer...
Dynamic-frame specifications in
Dynamic-frame specifications in
by faustina-dinatale
Dafny. K. Rustan M. Leino. RiSE. , Microsoft Rese...
Dafny An Automatic Program Verier for Functional Correctness K
Dafny An Automatic Program Verier for Functional Correctness K
by tatiana-dople
Rustan M Leino Microsoft Research leinomicrosoftc...
Proving termination conditions
Proving termination conditions
by min-jolicoeur
 . Name . E-mail  . Country, City, University...
Program Verification as SMT
Program Verification as SMT
by olivia-moreira
SMT workshop 2012. Nikolaj . Bjørner. , Ken McMi...
Verified Yuanshan Zhang Wesley Ma
Verified Yuanshan Zhang Wesley Ma
by alexa-scheidler
Gaunnan Guo. 1. Ironfleet: proving practical dist...