|
gptkbp:instance_of
|
gptkb:project
|
|
gptkbp:aims_to_improve
|
software correctness
|
|
gptkbp:community_support
|
open-source community
|
|
gptkbp:designed_for
|
high-integrity systems
|
|
gptkbp:developed_by
|
gptkb:C_programming_language
gptkb:Ada_programming_language
gptkb:Ada_Core
|
|
gptkbp:has_applications_in
|
safety-critical systems
|
|
gptkbp:has_documentation
|
SPARK Tutorial
SPARK Reference Manual
SPARK User Guide
|
|
gptkbp:has_features
|
runtime verification
contract-based programming
proof of absence of runtime errors
|
|
gptkbp:has_version
|
gptkb:SPARK_2014
gptkb:SPARK_2019
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
SPARK project
|
|
gptkbp:is_available_on
|
gptkb:Git_Hub
|
|
gptkbp:is_compatible_with
|
gptkb:GNAT_compiler
|
|
gptkbp:is_part_of
|
gptkb:Ada_programming_ecosystem
|
|
gptkbp:is_promoted_by
|
gptkb:ACM_SIGAda
gptkb:Ada_Europe
gptkb:Ada_Community
|
|
gptkbp:is_related_to
|
formal verification
security analysis
software engineering
safety analysis
|
|
gptkbp:is_supported_by
|
gptkb:US_Department_of_Defense
gptkb:European_Space_Agency
gptkb:NASA
|
|
gptkbp:is_used_by
|
gptkb:Philips
gptkb:Bombardier
gptkb:Lockheed_Martin
gptkb:Northrop_Grumman
gptkb:Schneider_Electric
gptkb:General_Dynamics
gptkb:Raytheon
gptkb:Airbus
gptkb:Boeing
gptkb:Honeywell
gptkb:Siemens
gptkb:Thales_Group
gptkb:Alstom
gptkb:Thyssen_Krupp
|
|
gptkbp:is_used_in
|
gptkb:civil_aviation
gptkb:automotive_industry
gptkb:military_defense
|
|
gptkbp:provides
|
static analysis tools
|
|
gptkbp:supports
|
gptkb:Ada_programming_language
|
|
gptkbp:uses
|
formal methods
|
|
gptkbp:bfsParent
|
gptkb:Simons_Foundation_Autism_Research_Initiative
|
|
gptkbp:bfsLayer
|
6
|