SPARK - an annotated Ada subset for safety-critical programming.

Bernard Carré Johnathan Randall Garnsworthy

Published in: TRI-Ada (1990)

Keyphrases

safety critical
formal methods
fault tolerant
safety analysis
nuclear power plant
agent architecture
embedded systems
support systems
programming language
regulatory requirements
machine learning
real time
user interface
low cost