Outline

• Why

  • Introduction

• What

  • The UPPAAL Model=Timed Automata
  • UPPAAL Specifications=Reachability & Beyond

• How

  • On-line Demo
  • The UPPAAL Engine

• Case Studies

• Future of UPPAAL

Previous slide

Next slide

Back to first slide

View graphic version