Login / Signup
The Properties of Sets of Temporal Logic Subformulas.
Mariusz Giero
Published in:
Formaliz. Math. (2012)
Keyphrases
</>
temporal logic
model checking
modal logic
temporal properties
concurrent systems
satisfiability problem
model checker
verification method
linear temporal logic
computation tree logic
data model
formal verification
temporal knowledge
automata theoretic
mazurkiewicz traces