Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:drivers
|
| gptkbp:developed_by |
gptkb:University_of_Utah
|
| gptkbp:enables |
Behavioral specification
|
| gptkbp:has_feature |
Java Modeling Language support
|
| https://www.w3.org/2000/01/rdf-schema#label |
JML Driver
|
| gptkbp:is_compatible_with |
gptkb:Java_programming_language
|
| gptkbp:is_part_of |
JML tools
|
| gptkbp:is_used_in |
Software verification
|
| gptkbp:is_utilized_by |
Software engineers
|
| gptkbp:provides |
Test case generation
|
| gptkbp:supports |
Formal specification
|
| gptkbp:bfsParent |
gptkb:Swerve_Scott
gptkb:Isaiah_Scott gptkb:Shane_Strickland gptkb:Swerve_Strickland |
| gptkbp:bfsLayer |
6
|