Runtime Verification for HyperLTL.

Borzoo Bonakdarpour Bernd Finkbeiner

Published in: RV (2016)

Keyphrases

face verification
formal verification
verification method
model checking
databases
case study
information technology
real time
social networks
decision making
decision trees
high level
special case