Вход Наше всё Теги codebook 无线电组件 Поиск Опросы Закон Воскресенье
28 апреля

О смысле всего сущего 0xFF Средства и методы разработки Мобильная и беспроводная связь Блошиный рынок Объявления

Микроконтроллеры PLD, FPGA, DSP AVR PIC ARM, RISC-V Технологии Кибернетика, автоматика, протоколы Схемы, платы, компоненты

Средства и методы разработки

843551 Топик полностью

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

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, ссылка, ссылка)