Aim of the lecture knowledge of a basic formalism for modeling timed systems basic understanding of verification algorithms for timed systems(useful for practical modeling and verification)Aim of the Lecture ◼ knowledge of a basic formalism for modeling timed systems ◼ basic understanding of verification algorithms for timed systems (useful for practical modeling and verification)