Humord
Computing
Databehandling
Verifisering (Databehandling)
Verification (Computing)
Verifikasjon (Databehandling)
Datastøtta verifikasjon
Datastøttet verifikasjon
Computer aided verification
Refinement (Computing)
Raffinering (Informatikk)
Simple promela interpreter
Innholdsbeskrivende emne
Topic