Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
|
| gptkbp:designedFor |
program verification
|
| gptkbp:developedBy |
gptkb:Microsoft_Research
|
| gptkbp:firstAppearance |
2006
|
| https://www.w3.org/2000/01/rdf-schema#label |
Boogie language
|
| gptkbp:implementedIn |
gptkb:C#
|
| gptkbp:influencedBy |
gptkb:C_programming_language
|
| gptkbp:license |
gptkb:MIT_License
|
| gptkbp:openSource |
true
|
| gptkbp:paradigm |
imperative
procedural |
| gptkbp:usedAs |
intermediate verification language
|
| gptkbp:usedIn |
gptkb:Dafny
gptkb:Spec# gptkb:VCC |
| gptkbp:website |
https://boogie-docs.readthedocs.io/
|
| gptkbp:bfsParent |
gptkb:Boogie_verification_tool
|
| gptkbp:bfsLayer |
7
|