Statements (30)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
|
| gptkbp:basedOn |
gptkb:C#
|
| gptkbp:designedFor |
gptkb:technical_specification
verification |
| gptkbp:developedBy |
gptkb:Microsoft_Research
|
| gptkbp:extendsTo |
gptkb:C#
|
| gptkbp:firstReleased |
2004
|
| https://www.w3.org/2000/01/rdf-schema#label |
Spec#
|
| gptkbp:influenced |
gptkb:Dafny
gptkb:Code_Contracts |
| gptkbp:influencedBy |
gptkb:Java
gptkb:Eiffel gptkb:C# |
| gptkbp:latestReleaseVersion |
2010
1.0 |
| gptkbp:license |
gptkb:Microsoft_Research_License
|
| gptkbp:notableFeature |
class invariants
method contracts static verification |
| gptkbp:operatingSystem |
gptkb:Microsoft_Windows
|
| gptkbp:paradigm |
imperative
object-oriented contract-based |
| gptkbp:primaryUse |
formal verification
software correctness |
| gptkbp:uses |
gptkb:Boogie
gptkb:Z3 |
| gptkbp:website |
https://www.microsoft.com/en-us/research/project/spec/
|
| gptkbp:bfsParent |
gptkb:Dafny
|
| gptkbp:bfsLayer |
5
|