The role of formal methods in developing safety-critical software.
Martyn ThomasPublished in: Microprocess. Microsystems (1990)
Keyphrases
- safety critical
- formal methods
- development lifecycle
- safety analysis
- nuclear power plant
- knowledge based systems
- model checking
- model checker
- formal specification
- software engineering
- artificial intelligence
- embedded systems
- modeling language
- fault tolerant
- agent architecture
- natural language
- cooperative
- case study
- decision making
- machine learning
- formal specification language