Formal Methods in the Specification of Real-Time, Safety-Critical Control Systems.
Alastair R. RuddlePublished in: Z User Workshop (1992)
Keyphrases
- formal methods
- safety critical
- safety analysis
- control system
- nuclear power plant
- formal specification
- real time
- model checker
- knowledge based systems
- artificial intelligence
- model checking
- process algebra
- reactive systems
- software engineering
- databases
- machine learning
- reverse engineering
- fault tolerant
- learning systems
- xml documents
- cooperative