Runtime Verification of k-Safety Hyperproperties in HyperLTL.

Shreya Agrawal Borzoo Bonakdarpour

Published in: CSF (2016)

Keyphrases

safety analysis
model checking
signature verification
formal verification
face verification
decision making
control system
hidden markov models
formal analysis
road safety
databases
coal mining
verification method
safety critical
formal methods
temporal logic
e learning
computer vision
neural network