• DocumentCode
    2141440
  • Title

    Compositional Reasoning Using Intervals and Time Reversal

  • Author

    Moszkowski, B.

  • Author_Institution
    Software Technol. Res. Lab., De Montfort Univ., Leicester, UK
  • fYear
    2011
  • fDate
    12-14 Sept. 2011
  • Firstpage
    107
  • Lastpage
    114
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Temporal Representation and Reasoning (TIME), 2011 Eighteenth International Symposium on
  • Conference_Location
    Lubeck
  • ISSN
    1530-1311
  • Print_ISBN
    978-1-4577-1242-5
  • Type

    conf

  • DOI
    10.1109/TIME.2011.25
  • Filename
    6065235
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2141440