Model Checking Quantitative Hyperproperties.

Bernd Finkbeiner Christopher Hahn Hazem Torfah

Published in: CAV (1) (2018)

Keyphrases

model checking
temporal logic
formal verification
temporal properties
formal specification
finite state machines
model checker

symbolic model checking
partial order reduction
finite state
transition systems
epistemic logic
bounded model checking

automated verification
reachability analysis
formal methods
verification method
computation tree logic
pspace complete

process algebra
timed automata
abstract interpretation
concurrent systems
reactive systems
binary decision diagrams