Polynomials, Fragments of Temporal Logic and the Variety DA over Traces.

Manfred Kufleitner

Published in: Developments in Language Theory (2006)

Keyphrases

temporal logic
mazurkiewicz traces
model checking
modal logic
satisfiability problem
concurrent systems
linear temporal logic
bounded model checking
computation tree logic
search algorithm
belief revision
verification method
formal specification language
artificial intelligence
temporal knowledge
reactive systems