The formal specification of safety requirements for storing explosives

@article{Mukherjee1993TheFS,
  title={The formal specification of safety requirements for storing explosives},
  author={Paul Mukherjee and Victoria Stavridou},
  journal={Formal Aspects of Computing},
  year={1993},
  volume={5},
  pages={299-336}
}
In this paper we consider the current practices involved in the storage of explosive articles and substances. In the spirit of Defence standard 00-55, we formalize the safety requirements of the ACS software which is used to manage certain MOD holdings in the United Kingdom using the specification language VDM. We also prove some properties of these safety… CONTINUE READING