The Formal Specification in Z of Defence Standard 00-56.

Jim Woodcock Paul H. B. Gardiner J. R. Hulance

Published in: Z User Workshop (1994)

Keyphrases

formal specification
model checking
object oriented design
specification language
specification languages
formal methods
reverse engineering
data abstraction
process algebra
software components
formal specification language
case study
concurrent systems