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
- Найти руководство по инструменту и его языку (желательно добавить в проект).
- Попробовать описать простейшие системы и поверифицировать их (конфликты, дедлоки).
Actions