COMP 763 OVERVIEW 2 In the context In Theory: Timed Automata – The language: Definitions and Semantics – Model Checking and Implementation In Practice: UPPAAL – Language Extensions – Simulation and Verification Case Study Conclusion on the tool and on the language
{}