https://github.com/aztek/voogie

A verification conditions generator for Boogie programs
https://github.com/aztek/voogie

boogie haskell tptp vampire verification verification-conditions

Last synced: 19 days ago
JSON representation

A verification conditions generator for Boogie programs

• Host: GitHub
• URL: https://github.com/aztek/voogie
• Owner: aztek
• License: gpl-3.0
• Created: 2017-01-30T15:00:53.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2020-01-31T09:11:55.000Z (almost 5 years ago)
• Last Synced: 2023-03-12T04:11:45.037Z (almost 2 years ago)
• Topics: boogie, haskell, tptp, vampire, verification, verification-conditions
• Language: Haskell
• Homepage: http://voogie.ekotelnikov.com
• Size: 516 KB
• Stars: 3
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project