The practice of formal methods in safety-critical systems.
Shaoying LiuVictoria StavridouBruno DutertrePublished in: J. Syst. Softw. (1995)
Keyphrases
- formal methods
- safety critical
- safety analysis
- nuclear power plant
- model checking
- formal specification
- fault tolerant
- embedded systems
- support systems
- knowledge based systems
- software engineering
- regulatory requirements
- agent architecture
- model checker
- artificial intelligence
- cooperative
- adaptive systems
- knowledge acquisition
- low cost
- management system
- multi agent
- real time