Login / Signup
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