A complete axiomatization of a first-order temporal logic over trace systems.

Wojciech Penczek Marian Srebrny

Published in: Partial Order Methods in Verification (1996)

Keyphrases

temporal logic
model checking
linear temporal logic
reactive systems
mazurkiewicz traces
dynamic constraints
distributed systems
satisfiability problem
formal methods
formal specification language
knowledge based systems
user defined
modal logic
concurrent systems