On Verifying Timed Hyperproperties.

Hsi-Ming Ho Ruoyu Zhou Timothy M. Jones

Published in: TIME (2019)

Keyphrases

model checking
timed automata
petri net
discrete event
real time
artificial intelligence
verification method
case study
key features