16+
Понедельник
18 февраля
Вход |Карта сайта | |Upload |codebook | PARTS

 О смысле всего сущего 0xFF

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

 Мобильная и беспроводная связь

 Блошиный рынок Объявления

caxapa

Микроконтроллеры ARM 

AVR PIC MSP PLD,FPGA,DSP 

Кибернетика Технологии 

Схемы, платы, компоненты 

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

 
   Новая тема Правила Регистрация Поиск »» Архив
Вернуться в конференциюТопик полностью
Evgeny_CD  (18.05.2018 02:26 - 26.05.2018 02:17, ссылка, просмотров: 2180)
[Формальная верификация ПО] - [PROMELA, SPIN, Cobra] С подачи fk0 ->, которому я сильно признателен за наводку!!! 
PROMELA Process or Protocol Meta Language - язык описания моделей. en.wikipedia.org/wiki/Promela spinroot.com/spin/Man/promela.html SPIN - model checker - средство моделирования на основе PROMELA en.wikipedia.org/wiki/SPIN_model_checker spinroot.com/spin/whatispin.html Cobra - Static Code Analyzer C, C++, Ada, and Python spinroot.com/cobra/index.html LTL - Linear temporal logic - SPIN исполняет модели PROMELA на основе этой штуковины. en.wikipedia.org/wiki/Linear_temporal_logic Книги по теме - я почти все нашел spinroot.com/spin/books.html Темпоральная логика (англ. temporal logic) — это логика, в высказываниях которой учитывается временной аспект. Используется для описания последовательностей явлений и их взаимосвязи по временной шкале. ru.wikipedia.org/wiki/Темпоральная_логика Еще есть Логика деревьев вычислений CTL CTL* is a superset of computational tree logic (CTL) and linear temporal logic (LTL). It freely combines path quantifiers and temporal operators. Like CTL, CTL* is a branching time logic. The formal semantics of CTL* formulae are defined with respect to a given Kripke structure. en.wikipedia.org/wiki/CTL* Поведение программы описывается на формально непротиворечивом языке, и на этой основе верифицируется поведение программы. В целом, это какой-то совершенно новый мир в части надежности ПО. Выпал в осадок, надо обдумать.
Главная | Карта сайта | О проекте | Проекты | Файлообменник | Регистрация | Вебмастер | RSS
Лето 7527 от сотворения мира. При использовании материалов сайта ссылка на caxapу обязательна.
MMI © MMXIX