Developing Reactive Systems in a Vdm Framework

Ledru, Y.
(1993) Science of Computer Programming — Vol. 20, n° 1-2, p. 51-71 (1993)

Files

pdfdocument.pdf
  • Restricted Access
  • Adobe PDF
  • 1.5 MB
No access

Details

Authors
  • Ledru, Y.
    Author
Abstract
This paper studies the detailed development of reactive systems, using an extension of VDM. The extension allows specification and proof of behavioural aspects to be expressed in the VDM framework. This is achieved by using traces of the input/output activities and introducing the notion of external entities whose behaviour is described by a state machine. The major objective of this work is to improve understanding of the practical implications of the specification, design, and symbolic validation of machine-checked reactive systems.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Ledru, Y. (1993). Developing Reactive Systems in a Vdm Framework. Science of Computer Programming, 20(1-2), 51-71. https://doi.org/10.1016/0167-6423(93)90022-H (Original work published 1993)