Statements (39)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
programming language
|
| gptkbp:basedOn |
gptkb:Ada_programming_language
|
| gptkbp:designedFor |
high-integrity systems
|
| gptkbp:developedBy |
AdaCore
|
| gptkbp:features |
static analysis
data flow analysis runtime checks proof of correctness |
| gptkbp:firstPublished |
2005
|
| gptkbp:has |
exception handling
generic programming modular programming strong typing |
| gptkbp:hasVersion |
SPARK 2014
|
| https://www.w3.org/2000/01/rdf-schema#label |
SPARK Ada
|
| gptkbp:is |
open-source
used in medical devices used in control systems used in robotics used in embedded systems used in telecommunications used in simulation software used in industrial automation used in avionics used in financial systems used in space missions used in railway systems suitable for safety-critical applications used in critical infrastructure used in high-assurance software used in nuclear systems ISO_standard |
| gptkbp:provides |
contract-based programming
|
| gptkbp:supports |
formal verification
concurrent programming real-time systems |
| gptkbp:usedIn |
aerospace industry
automotive systems defense applications |