Z - An introduction to formal methods (2nd edn) : Antoni Diller John Wiley, Chichester (1994) £22.50 (1st edn published in 1990) ISBN 0 471 93973 0.
Julian RosePublished in: Inf. Softw. Technol. (1995)
Keyphrases
- formal methods
- formal analysis
- model checking
- knowledge based systems
- formal specification
- software engineering
- artificial intelligence
- provably correct
- process algebra
- model checker
- safety critical
- temporal properties
- formal specification language
- reactive systems
- development process
- expert systems
- development lifecycle
- case study