• DocumentCode
    2232910
  • Title

    Study on Fairness Property and Liveness Property of Temporal Logic of Action

  • Author

    Jinshan, Bai ; Chunying, Liu ; Xiang, Li

  • Author_Institution
    Inst. of Comput. Software & Theor., Guizhou Univ., Guiyang, China
  • Volume
    1
  • fYear
    2009
  • fDate
    30-31 May 2009
  • Firstpage
    125
  • Lastpage
    128
  • Abstract
    The paper introduces about temporal logic of action, it discuss the relation among closure, security, fairness property and liveness property in TLA, action and point out and weak fairness and strong fairness as prerequisites, base on this, it discrible in detail how to establish system model with machine-closed through cases, in the end we gain correct conclusion.
  • Keywords
    formal specification; formal verification; security of data; temporal logic; TLA formula; closure formula; fairness property; liveness property; machine-closed; model checking; security-of-data; system specification; temporal logic-of-action; Computer networks; Logic; Safety; Security; Software; Liveness property; Machine-closed; The Temporal Logic of Action; fairness property;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Networking and Digital Society, 2009. ICNDS '09. International Conference on
  • Conference_Location
    Guiyang, Guizhou
  • Print_ISBN
    978-0-7695-3635-4
  • Type

    conf

  • DOI
    10.1109/ICNDS.2009.37
  • Filename
    5116227
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2232910