A Temporal Logic for Strategic Hyperproperties.

Raven Beutner Bernd Finkbeiner

Published in: CoRR (2021)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
linear temporal logic
model checker
transition systems
predicate logic
reactive systems
computation tree logic
mazurkiewicz traces
dynamic constraints
formal verification
temporal knowledge
formal specification language