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...