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
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;
Conference_Titel :
Networking and Digital Society, 2009. ICNDS '09. International Conference on
Conference_Location :
Guiyang, Guizhou
Print_ISBN :
978-0-7695-3635-4
DOI :
10.1109/ICNDS.2009.37
