Login / Signup

On Verifying Timed Hyperproperties.

Hsi-Ming HoRuoyu ZhouTimothy 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