Proving the absence of run-time errors in safety-critical avionics code.

Published in: EMSOFT (2007)

Keyphrases

safety critical
fault tolerant
formal methods
safety analysis
agent architecture
embedded systems
error detection
nuclear power plant
source code
support systems
regulatory requirements
real time
information systems
object oriented
adaptive systems