Johan Bengtsson

Department of Information Technology, Uppsala University, Sweden.

Time: Wednesday 5.5.2004, 14:30
Place: Room A4-106, Fr. Bajersvej 7

Taming Timed Automata

It has been claimed that correct zone-based model-checking of timed automata with difference constraints is not possible due to problems with extrapolation. In this talk we will outline how to break this claim by solving the extrapolation problem for timed automata with difference constraints.