Compositional reasoning using intervals and time reversal
Date
2011-09-12
Authors
Advisors
Journal Title
Journal ISSN
ISSN
1530-1311
Volume Title
Publisher
IEEE Computer Society
Type
Conference
Peer reviewed
Yes
Abstract
We apply Interval Temporal Logic (ITL), an established temporal formalism for reasoning about time periods, to extending known facts by looking at them in reverse and then reducing reasoning about infinite time to finite time. Time reversal then helps to compositionally analyse some aspects of concurrent behaviour involving mutual exclusion.
Description
Copyright by IEEE
Keywords
Interval Temporal Logic, compositional reasoning, formal verification, mutual exclusion, Peterson's algorithm
Citation
Moszkowski, B. (2011) Compositional reasoning using intervals and time reversal. In: Eighteenth International Symposium on Temporal Representation and Reasoning (TIME 2011). Lübeck, Germany, 12-14 September, 2011, Los Alamitos (California): IEEE Computer Society, pp. 107-114.