A formal specification of an oscilloscope


This case study presents the development of an abstract oscilloscope specification, using Z notation. A description is given of the problem and its context. An abstract model of an oscilloscope that clarifies its user-accessible functions is described. Issues that must be addressed to scale up this specification to deal with more complicated, realistic oscilloscopes are discussed. The use of formal models and formal reasoning in this specification is examined.<<ETX>>

DOI: 10.1109/52.57890

3 Figures and Tables


Citations per Year

59 Citations

Semantic Scholar estimates that this publication has 59 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Delisle1990AFS, title={A formal specification of an oscilloscope}, author={Norman M. Delisle and David Garlan}, journal={IEEE Software}, year={1990}, volume={7}, pages={29-36} }