The formal specification of safety requirements for storing explosives-Reference-Cited by-同舟云学术

The formal specification of safety requirements for storing explosives

Published:1993-07 Issue:4 Volume:5 Page:299-336
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Mukherjee Paul¹,Stavridou Victoria¹

Affiliation:

1. Department of Computer Science, Royal Holloway and Bedford New College, TW20 0EX, Egham, Surrey, UK

Abstract

Abstract 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 requirements and comment on a similar OBJ3 specification.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF01212405.pdf

Reference11 articles.

1. Andrews D.: VDM Specification Language Proto-Standard. Draft Standard ISO/IEC JTC1/SC22/WG19 ISO 1992. Document Reference IN9.

2. The design of a rewrite rule interpreter from algebraic specifications

3. Dawes J.: The VDM-SL Reference Guide . Pitman 1991.

4. Froome P.K.D.: Spec Box . Adelard Software 1990.

5. Rapid prototyping

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modelling Systems;2009

2. The verified software repository: a step towards the verifying compiler;Formal Aspects of Computing;2006-06

3. Security policies;Advances in Computers;2002

4. Specifying embedded systems with statecharts and Z: an agenda for cyclic software components;Science of Computer Programming;2001-05

5. The Ammunition Control System;Proof in VDM: Case Studies;1998