Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
research:progressive-verification-dafny [2018/05/28 15:47]
ifigueroap
research:progressive-verification-dafny [2018/06/04 15:40]
ifigueroap
Line 1: Line 1:
-====== Towards Progressive Verification in Dafny ======+====== ​SBLP 2018 Submission: ​Towards Progressive Verification in Dafny ======
  
 +{{ :​research:​sblp2018-dafny-progressive.zip |Current implementation in Dafny}}