Hva er abstraksjon i model checking?
Klikk for å snu kortet
Å forenkle modellen ved å slå sammen tilstander for å redusere tilstandsrommet (på bekostning av mulige falske moteksempler).
Space / Enter for å snu