Algorithms for Model Checking HyperLTL and HyperCTL ^*.

Bernd Finkbeiner Markus N. Rabe César Sánchez

Published in: CAV (1) (2015)

Keyphrases

model checking
temporal logic
deterministic finite automaton
finite state
finite state machines
model checker
reachability analysis
artificial intelligence
web services
graph theory
formal verification
epistemic logic
temporal properties
symbolic model checking