RVHyper: A Runtime Verification Tool for Temporal Hyperproperties.

Bernd Finkbeiner Christopher Hahn Marvin Stenger Leander Tentrup

Published in: TACAS (2) (2018)

Keyphrases

temporal reasoning
spatio temporal
spatial and temporal
temporal information
user friendly
temporal data
case study
temporal relationships
model checking
temporal consistency
temporal relations
face verification
temporal databases
petri net
space time
relational databases
multi agent
similarity measure