Autonomous System Specification Language
GPTKB entity
Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
specification language
|
| gptkbp:abbreviation |
gptkb:ASSL
|
| gptkbp:application |
robotics
space missions |
| gptkbp:creator |
Farhad Arbab
Jana Giceva Marjan Sirjani Wojtek Jamroga |
| gptkbp:developedBy |
gptkb:York_University
|
| gptkbp:domain |
autonomous systems
|
| gptkbp:hasComponent |
ASSL framework
ASSL toolset |
| gptkbp:hasFeature |
formal verification
automatic code generation multi-level specification |
| https://www.w3.org/2000/01/rdf-schema#label |
Autonomous System Specification Language
|
| gptkbp:publicationYear |
2000s
|
| gptkbp:supports |
modeling
verification formal specification |
| gptkbp:usedFor |
specifying autonomous systems
|
| gptkbp:bfsParent |
gptkb:ASSL
|
| gptkbp:bfsLayer |
8
|