A Temporal Logic for Asynchronous Hyperproperties.

Jan Baumeister Norine Coenen Borzoo Bonakdarpour Bernd Finkbeiner César Sánchez

Published in: CAV (1) (2021)

Keyphrases

temporal logic
model checking
satisfiability problem
modal logic
concurrent systems
mazurkiewicz traces
predicate logic
transition systems
linear temporal logic
belief revision
model checker
temporal knowledge
temporally extended
computation tree logic
formal verification
verification method