ВходНаше всё Теги codebook PARTS Поиск Опросы Закон Воскресенье
9 августа
/843547
Evgeny_CD, Архитектор (26.05.2018 02:26, просмотров: 399)
[Формальная верификация ПО] - [TLA, TLA+, PlusCal, TLC model checker, TLAPS] [Temporal Logic of Actions] -> творение монстра по имени Leslie Lamport -->, M$ Research между прочим. ссылка ссылка Книга - скачивается http://lamport.azurewebsites.net/tla/book.html Большая книга, скачивается The TLA+ Hyperbook http://lamport.azurewebsi …net/tla/hyperbook.html Очень стройная система формального описания ПО и моделирования на основе такого описания.
Ответить