|
gptkbp:instanceOf
|
gptkb:infrastructure_project
|
|
gptkbp:aimsTo
|
eliminate runtime errors
|
|
gptkbp:basedOn
|
gptkb:Ada_programming_language
|
|
gptkbp:designedFor
|
high-integrity systems
|
|
gptkbp:developedBy
|
AdaCore
|
|
gptkbp:enables
|
high assurance software
|
|
gptkbp:features
|
static analysis
runtime checks
|
|
gptkbp:hasRelatedPatent
|
medical devices
financial systems
nuclear power systems
|
|
gptkbp:hasVersion
|
SPARK 2014
SPARK 2019
SPARK 2021
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
SPARK project
|
|
gptkbp:integratesWith
|
gptkb:GNAT_compiler
|
|
gptkbp:isPartOf
|
safety standards compliance
formal methods
software verification tools
critical systems engineering
Ada_programming_ecosystem
|
|
gptkbp:isSupportedBy
|
gptkb:Ada_community
|
|
gptkbp:isUsedBy
|
gptkb:European_Space_Agency
gptkb:General_Electric
gptkb:Lockheed_Martin
gptkb:Raytheon
gptkb:Airbus
gptkb:Boeing
gptkb:Honeywell
gptkb:Siemens
gptkb:Thales_Group
NASA
|
|
gptkbp:isVisitedBy
|
gptkb:Australia
gptkb:Brazil
gptkb:Canada
gptkb:China
gptkb:India
gptkb:Japan
gptkb:Russia
gptkb:South_Africa
gptkb:United_States
Europe
|
|
gptkbp:promotes
|
safety-critical software development
|
|
gptkbp:provides
|
formal verification
proof of correctness
|
|
gptkbp:supports
|
contract-based programming
|
|
gptkbp:usedIn
|
automotive industry
aerospace industry
railway systems
defense applications
|