GitHub topics: verification-conditions
emptylambda/BLT
Boogie-less-triggers
Language: Haskell - Size: 3.07 MB - Last synced at: about 2 months ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 0
aztek/voogie
A verification conditions generator for Boogie programs
Language: Haskell - Size: 516 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 0
sdasgup3/PLDI20-Artifact-Evaluation
Artifact Evaluation, PLDI'20
Size: 710 KB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
