Tre måter å fjerne et falskt moteksempel på
Klikk for å snu kortet
1) Legg til en invariant som uttrykker nåbarhetsinformasjonen. 2) La egenskapen starte i resettilstanden. 3) Anta eksplisitt den konkrete starttilstanden operasjonen skal begynne i.
Space / Enter for å snu