Polynomials, fragments of temporal logic and the variety DA over traces.

Manfred Kufleitner

Published in: Theor. Comput. Sci. (2007)

Keyphrases

temporal logic
mazurkiewicz traces
model checking
modal logic
satisfiability problem
concurrent systems
linear temporal logic
belief revision
computation tree logic
np complete
reactive systems
automata theoretic
video sequences
temporal properties
verification method
bounded model checking