Research on Formal Verification Technique for Aircraft Safety-Critical Software.
Yongfeng YinBin LiuDuo SuPublished in: J. Comput. (2010)
Keyphrases
- safety critical
- formal verification
- formal methods
- model checking
- model checker
- embedded systems
- safety analysis
- nuclear power plant
- fault tolerant
- agent architecture
- program slicing
- symbolic model checking
- support systems
- regulatory requirements
- software development
- adaptive systems
- formal specification
- artificial intelligence
- temporal logic
- multi agent systems
- cooperative
- machine learning