Formell verifikasjon og model checking Quiz | Eksamenssett