Formal Specification: Techniques and Applications

From the Publisher: Formal Specification offers a practical and versatile approach to constructing formal specifications. Mathematical principles, abstraction and modularisation are explained using examples from everyday life and practical computing. Both model-based and algebraic approaches to specification are covered.. "Formal Specification is an ideal teaching text for both undergraduate and postgraduate courses in formal methods. No prior knowledge of formal specification is needed as the text is written to be accessible to a wide audience.