Formell verifikasjon og model checking Flash | Eksamenssett