description
Werkzeug zur Modellprüfung
@de
herramienta de verificación de modelos software
@es
perangkat lunak
@id
tool for verifying the correctness of software models
@en
برنامج يقوم بالتأكد من صحة تصميم الأنظمة المتازمنة
@ar
name
SPIN (верификатор)
@ru
SPIN model checker
@ast
SPIN model checker
@en
SPIN مدقق في تصميم الأنظمة المتزامنة
@ar
SPIN
@de
SPIN
@es
SPIN
@fr
SPIN
@it
SPIN
@lt
SPIN
@nl
type
label
SPIN (верификатор)
@ru
SPIN model checker
@ast
SPIN model checker
@en
SPIN مدقق في تصميم الأنظمة المتزامنة
@ar
SPIN
@de
SPIN
@es
SPIN
@fr
SPIN
@it
SPIN
@lt
SPIN
@nl
altLabel
Simple PROMELA Interpreter
@de
Simple PROMELA Interpreter
@en
Simple PROMELA Interpreter
@es
prefLabel
SPIN (верификатор)
@ru
SPIN model checker
@ast
SPIN model checker
@en
SPIN مدقق في تصميم الأنظمة المتزامنة
@ar
SPIN
@de
SPIN
@es
SPIN
@fr
SPIN
@it
SPIN
@lt
SPIN
@nl
P306
P348
P6366
P646
P1324
P1482
P1972
spin-checker
P277
P3499
sci-mathematics/spin
P366
P4428
P571
1989-01-01T00:00:00Z
P6366
2777517218