Proving properties of a safety-critical system.

Will Atkinson Jim Cunningham

Published in: Softw. Eng. J. (1991)

Keyphrases

safety critical
fault tolerant
formal methods
agent architecture
support systems
safety analysis
regulatory requirements
embedded systems
databases
learning environment
learning process
software engineering
decision support system
nuclear power plant