Sign in

Runtime Verification for HyperLTL.

Borzoo BonakdarpourBernd 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