Conference
Equivalence preserving transformations for timed transition models
Abstract
A modified version of Ostroff's (1989, 1990) timed transition models (TTMs), along with the author's adaptation of Milner's (1980, 1989) observation equivalence to TTMs, is introduced. An informal set of 'behavior preserving' transformations is developed. It is shown to be consistent for proving observation equivalence, and is applied to solve an industrial real-time software verification problem. The incompleteness of a given set of …
Authors
Lawford M; Wonham WM
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
January 1, 1992
DOI
10.1109/cdc.1992.371016
Name of conference
[1992] Proceedings of the 31st IEEE Conference on Decision and Control