Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Last revision Both sides next revision
research:progressive-verification-dafny [2018/05/28 15:47]
ifigueroap
research:progressive-verification-dafny [2018/05/29 20:43]
ifigueroap
Line 1: Line 1:
 ====== Towards Progressive Verification in Dafny ====== ====== Towards Progressive Verification in Dafny ======
  
 +{{ :​research:​sblp2018-dafny-progressive.zip |Current implementation in Dafny}}