Actions
Task #4086
closed[smv][example] Разобраться с инструментом SMV
Start date:
04/05/2013
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Published in build:
Description
- Найти руководство по инструменту и его языку (желательно добавить в проект).
- Попробовать описать простейшие системы и поверифицировать их (конфликты, дедлоки).
Updated by Mikhail Lebedev about 11 years ago
Cadence SMV можно скачать, только нужно заполнить огромную форму и согласиться с лицензией:
http://w2.cadence.com/webforms/cbl_software/index.aspx
Смущает только:
YOU ARE NOT AUTHORIZED TO USE THE LICENSED PROGRAMS FOR COMMERCIAL OR DEVELOPMENT ACTIVITIES
По поводу NuSMV:
http://nusmv.fbk.eu/NuSMV/project_members.html
http://nusmv.fbk.eu/NuSMV/index.html
Updated by Alexander Kamkin almost 10 years ago
- Subject changed from Разобраться с инструментом SMV to [smv][example] Разобраться с инструментом SMV
- Target version set to 2.0
Updated by Alexander Kamkin almost 10 years ago
- Status changed from New to Rejected
Updated by Sergey Smolov over 6 years ago
- Target version changed from 2.0 to 1.0
Actions