Formal methods for the specification and design of real-time safety critical systems.
Jonathan S. OstroffPublished in: J. Syst. Softw. (1992)
Keyphrases
- formal methods
- safety critical
- safety analysis
- formal specification
- knowledge based systems
- real time
- model checking
- reactive systems
- model checker
- regulatory requirements
- artificial intelligence
- development lifecycle
- software engineering
- embedded systems
- formal specification language
- databases
- support systems
- low cost
- management system
- expert systems