Thomas C. Hald

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Model checking tools for complex cyber-physical systems are increasingly being invoked online and incrementally in machine-to-machine scenarios, and executed on remote large scale compute resources. To support these scenarios in a uniform and standardized way, we present the web service WUppaal that provides formal verification of timed automata using the(More)
  • 1