Differences

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

Link to this comparison view

Both sides previous revision Previous revision
research:progressive-verification-dafny [2018/05/29 20:43]
ifigueroap
research:progressive-verification-dafny [2018/06/04 15:40] (current)
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}} {{ :​research:​sblp2018-dafny-progressive.zip |Current implementation in Dafny}}