Spin
1 Травня, 2017
0
Spin (англ. Simple Promela Interpreter) – программа для верификации корректности распределённых программных моделей. Служит для автоматизированной проверки моделей. Развивается Gerard J. Holzmann и его коллегами… Скачать