https://github.com/scholtzan/cpsc-513-project

Formal Verification Course Project
https://github.com/scholtzan/cpsc-513-project

dafny verification

Last synced: 28 days ago
JSON representation

Formal Verification Course Project

• Host: GitHub
• URL: https://github.com/scholtzan/cpsc-513-project
• Owner: scholtzan
• Created: 2018-10-28T20:23:21.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2018-12-17T18:08:19.000Z (about 6 years ago)
• Last Synced: 2024-10-16T13:26:14.957Z (3 months ago)
• Topics: dafny, verification
• Language: TeX
• Homepage:
• Size: 6.58 MB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project