Title :
Compositional Reasoning Using Intervals and Time Reversal
Author_Institution :
Software Technol. Res. Lab., De Montfort Univ., Leicester, UK
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.
Keywords :
inference mechanisms; temporal logic; compositional reasoning; concurrent behaviour; interval temporal logic; mutual exclusion; time reversal; Algorithm design and analysis; Analytical models; Argon; Cognition; Safety; Semantics; Syntactics; Interval Temporal Logic; Peterson´s algorithm; compositional reasoning; formal verification; mutual exclusion;
Conference_Titel :
Temporal Representation and Reasoning (TIME), 2011 Eighteenth International Symposium on
Conference_Location :
Lubeck
Print_ISBN :
978-1-4577-1242-5
DOI :
10.1109/TIME.2011.25
