On Verifying Timed Hyperproperties.

Hsi-Ming Ho Ruoyu Zhou Timothy M. Jones

Published in: CoRR (2018)

Keyphrases

timed automata
model checking
petri net
discrete event
real time
artificial intelligence
information systems
web services
expert systems
verification method