caxapa.ru :: Cobra интересна, но денег стоит. Можно сразу забыть.

16+
Четверг
20 июня Вход |Карта сайта |Upload | | PARTS
	О смысле всего сущего • 0xFF • Средства и методы разработки • Мобильная и беспроводная связь • Блошиный рынок • Объявления •		•Микроконтроллеры •ARM •AVR •PIC •MSP •PLD,FPGA,DSP •Кибернетика •Технологии •Схемы, платы, компоненты
	Средства и методы разработки

Новая тема Правила Регистрация Статистика Архив

•Вернуться в конференцию •Топик полностью

fk0 (26.05.2018 03:05) , в ответ на [Формальная верификация ПО] - [PROMELA, SPIN, Cobra] С подачи fk0 ->, которому я сильно признателен за наводку!!! автор: Evgeny_CD

Cobra интересна, но денег стоит. Можно сразу забыть.

[ZX]

Ответы Развернуть
- $36 она стоит -> - Evgeny_CD( 05.02.2019 23:14, ссылка)
  - Для себя я всё равно покупать не буду. А согласовать покупку в крупной фирме прямо скажем не легко, не всякому доступно, ждать долго, забудешь уж. Тем более скажут у нас тут бесплатные анализаторы есть и даже купленные в таком-то продукте. И всё. (+)- fk0(292 байт, 05.02.2019 23:43)
    - Да, мысли одинаковые. Но если бы они просили $3600, то это точно было бы фантастикой, а так в принципе "возможны варианты". - Evgeny_CD( 05.02.2019 23:45)
- TLA/TLA+ -> очень мощная штука RTOS OpenComRTOS --> сделали с их помощью - Evgeny_CD( 26.05.2018 03:07, ссылка, ссылка)

Главная | Карта сайта | О проекте | Проекты | Файлообменник | Регистрация | Вебмастер | RSS

Лето 7527 от сотворения мира. При использовании материалов сайта ссылка на caxapу обязательна.
MMI © MMXIX