Compositional reasoning using intervals and time reversal

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Moszkowski, B. C.
dc.date.accessioned 2011-12-22T10:17:30Z
dc.date.available 2011-12-22T10:17:30Z
dc.date.issued 2011-09-12
dc.identifier.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. en
dc.identifier.isbn 9781457712425
dc.identifier.issn 1530-1311
dc.identifier.uri http://hdl.handle.net/2086/5474
dc.description Copyright by IEEE en
dc.description.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. en
dc.language.iso en en
dc.publisher IEEE Computer Society en
dc.subject Interval Temporal Logic en
dc.subject compositional reasoning en
dc.subject formal verification en
dc.subject mutual exclusion en
dc.subject Peterson's algorithm en
dc.title Compositional reasoning using intervals and time reversal en
dc.type Conference en
dc.identifier.doi http://dx.doi.org/10.1109/TIME.2011.25
dc.researchgroup Software Technology Research Laboratory (STRL) en
dc.peerreviewed Yes en


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record