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.
Publication Year: 2010
Publication Date: 2010-08-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot