Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment.

Alfred Rosskopf

Published in: Ada-Europe (1996)

Keyphrases

analysis tool
safety critical
safety analysis
formal methods
fault tolerant
agent architecture
embedded systems
nuclear power plant
support systems
regulatory requirements
artificial intelligence
machine learning
control system
case based reasoning
software engineering