Safety Verification of Ada Programs Using Software Fault Trees.
Nancy G. LevesonStephen S. ChaTimothy J. ShimeallPublished in: IEEE Softw. (1991)
Keyphrases
- safety analysis
- hardware designs
- safety critical
- fault model
- nuclear power plant
- free software
- software systems
- decision trees
- fault diagnosis
- control flow
- model checking
- fault detection
- formal methods
- neural network
- software development
- computer systems
- software design
- software tools
- java programs
- formal verification
- test cases
- normal operation
- embedded systems
- program slicing
- development process
- application programs
- verification method
- programming environments
- control center