Slide 1CS 290C: Formal Models for Web Software Lecture 2: Navigation Modeling with Statecharts Instructor: Tevfik Bultan Slide 2 Statecharts A visual formalism for specifying…