Humord
Verifikasjon (Databehandling)
Verification (Computing)
SPIN model checker
SPIN
Simple promela interpreter er et generelt verktøy for å verifisere korrektheten til samtidige programvaremodeller på en grundig og i stor grad automatisert måte.<wikipedia>
Lukket bemerkning: ubo24
Simple promela interpreter
Innholdsbeskrivende emne
Topic