Model Checking Properties on Reduced Trace Systems

Model Checking Properties on Reduced Trace Systems

Temporal logic has become a well-established method for specifying the behavior of distributed systems. In this paper, we interpret a temporal logic over a partial order model that is a trace system. The satisfaction of the formulae is directly defined on traces on the basis of rewriting rules; so,...

Full description

Bibliographic Details
Main Authors: Antonella Santone, Gigliola Vaglini
Format: Article
Language:English
Published: MDPI AG 2014-07-01
Series:Algorithms
Subjects:
trace systems
model checking
linear and branching time temporal logic
state explosion
Online Access:http://www.mdpi.com/1999-4893/7/3/339

Internet

http://www.mdpi.com/1999-4893/7/3/339

Similar Items