Humord
type: ConceptScheme

Verifikasjon (Databehandling)
type: Innholdsbeskrivende emne
type: Concept
narrower: Simple promela interpreter
preferred label: Verification (Computing) @en

Simple promela interpreter
type: Concept
type: Innholdsbeskrivende emne
created: 2024-03-12T00:00:00
modified: 2024-03-12T08:38:09
alternative label: SPIN model checker
alternative label: SPIN
broader: Verifikasjon (Databehandling)
definition: 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>
editorial note: Lukket bemerkning: ubo24
in scheme: Humord

Innholdsbeskrivende emne
type: Class
label: Topic @en