Compositional Reasoning Using Intervals and Time Reversal

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 concu...

Full description

Saved in:
Bibliographic Details
Main Author: Moszkowski, B.
Format: Conference Proceeding
Language:English
Subjects:
Algorithm design and analysis
Analytical models
Argon
Cognition
compositional reasoning
formal verification
Interval Temporal Logic
mutual exclusion
Peterson's algorithm
Safety
Semantics
Syntactics
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1530-1311
2332-6468
DOI:10.1109/TIME.2011.25