The safe machine: A new specificationconstruct for B

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1708, Issue , 1999, Pages 472-489

  Dunne, Steve ^a  

^a TEESSIDE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

ABSTRACT MACHINES; COMPOSITION OPERATORS; ROLE OF STATE; STATE BASED;

FORMAL METHODS;

EID: 22844454080     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48119-2_27     Document Type: Conference Paper

References (8)

1. J.R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.
2. R.J.R. Back and M.J. Butler. Exploring summation and product operators in the refinement calculus. In B. Moller, editor, Mathematics of Program Construction, number 947 in Lecture Notes in Computer Science, pages 128-158. Springer Verlag, 1995.
3. R.J.R. Back and M.J. Butler. Fusion and simultaneous execution in the refinement calculus. Acta Informatica, 35(11):921-940, 1998.
4. D. Bert, M.L. Potet, Y. Rouzaud. A study on components and assembly, primitives in B. In H. Habrias, editor, Proceedings of the First B Conference, pages 47-62. IRIN, Nantes, 1996.
5. P. Chartier. Formalisation of B in Isabelle/HOL. In D. Bert, editor, B'98: Recent Advances in the Development and Use of the B Method; Proceedings of the Second International B Conference, Montpellier, France, number 1393 in Lecture Notes in Computer Science, pages 66-82. Springer Verlag, 1998.
6. C.B. Jones. Systematic Software Development Using VDM (2nd edn). Prentice-Hall, 1990.
7. C. Morgan. Programming from Specifications (2nd edn). Prentice Hall International, 1994.
8. J.M. Spivey. The Z Notation: a Reference Manual (2nd edn). Prentice Hall International, 1992.