Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
|
| gptkbp:developedBy |
gptkb:Microsoft_Research
|
| https://www.w3.org/2000/01/rdf-schema#label |
Boogie verification tool
|
| gptkbp:language |
gptkb:Boogie_language
|
| gptkbp:latestReleaseVersion |
2024
|
| gptkbp:license |
gptkb:MIT_License
|
| gptkbp:openSource |
true
|
| gptkbp:output |
verification conditions
|
| gptkbp:programmingLanguage |
gptkb:C#
|
| gptkbp:repository |
https://github.com/boogie-org/boogie
|
| gptkbp:usedBy |
gptkb:Dafny
gptkb:Corral gptkb:Spec# gptkb:VCC |
| gptkbp:usedFor |
program verification
intermediate verification language |
| gptkbp:website |
https://boogie-docs.readthedocs.io/
|
| gptkbp:bfsParent |
gptkb:Igor_Klebanov
|
| gptkbp:bfsLayer |
6
|