Temporal Logics for Hyperproperties.

Michael R. Clarkson Bernd Finkbeiner Masoud Koleini Kristopher K. Micinski Markus N. Rabe César Sánchez

Published in: POST (2014)

Keyphrases

temporal logic
mazurkiewicz traces
model checking
satisfiability problem
modal logic
belief revision
concurrent systems
transition systems
linear temporal logic
temporal knowledge
verification method
temporal resolution
knowledge representation
predicate logic
multi faceted
bounded model checking