Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: README.txt Sprache: Text

Original von: VDM^©

Author: Paul Mukherjee

This specification describes the safety requirements involved in adding and
removing explosives at an explosives storage site. The specification is based
on United Kingdom Ministry of Defence regulations concerning safe storage of
explosives, which in turn are based on UN regulations.
Details of the specification may be found in:
1. P. Mukherjee and V. Stavridou, "The Formal Specification of Safety
   Requirements for the Storage of Explosives", technical report DITC 185/91,
   National Physical Laboratory, 1991.
2. P. Mukherjee and V. Stavridou, "The Formal Specification of Safety
   Requirements for Storing Explosives", Formal Aspects of Computing,
   5(4):299-336, 1993.
This example is primarily specified using the implicit style in VDM so it
does not have a main debug functionality.

Language Version: vdm10
Entry point     : DEFAULT`sum({3,4,5})

¤ Dauer der Verarbeitung: 0.15 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.