Project

General

Profile

Task #4086

[smv][example] Разобраться с инструментом SMV

Added by Alexander Kamkin over 6 years ago. Updated almost 2 years ago.

Status:
Rejected
Priority:
Normal
Category:
-
Target version:
Start date:
04/05/2013
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Published in build:

Description

  1. Найти руководство по инструменту и его языку (желательно добавить в проект).
  2. Попробовать описать простейшие системы и поверифицировать их (конфликты, дедлоки).

History

#1

Updated by Mikhail Lebedev over 6 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

#2

Updated by Alexander Kamkin over 5 years ago

  • Subject changed from Разобраться с инструментом SMV to [smv][example] Разобраться с инструментом SMV
  • Target version set to 2.0
#3

Updated by Alexander Kamkin about 5 years ago

  • Status changed from New to Rejected
#4

Updated by Sergey Smolov almost 2 years ago

  • Target version changed from 2.0 to 1.0

Also available in: Atom PDF