DocumentCode
2223123
Title
On actions of Temporal Logic of Actions
Author
Li, Juntao ; You, Ziyi ; Tang, Zhengyi ; Li, Xiang
Author_Institution
Coll. of Comput. & Inf., Guizhou Univ., Guiyang, China
Volume
4
fYear
2010
fDate
20-22 Aug. 2010
Abstract
Introducing actions into LTL is most outstanding characteristic of Temporal Logic of Actions. We argue actions´ properties, and study fairness, liveness and safety of system via the action´s properties in Temporal Logic of Actions, put forward safety and liveness of action, redefine the liveness and safety of concurrent systems from actions´ view, give a hint to system verification.
Keywords
concurrent engineering; formal verification; temporal logic; concurrent systems; safety of system; system verification; temporal logic of actions; Artificial intelligence; Artificial neural networks; Lead; TLA; action; fairness; liveness; syfety;
fLanguage
English
Publisher
ieee
Conference_Titel
Advanced Computer Theory and Engineering (ICACTE), 2010 3rd International Conference on
Conference_Location
Chengdu
ISSN
2154-7491
Print_ISBN
978-1-4244-6539-2
Type
conf
DOI
10.1109/ICACTE.2010.5579335
Filename
5579335
Link To Document