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

[Формальная верификация ПО] - [TLA, TLA+, PlusCal, TLC model checker, TLAPS] [Temporal Logic of Actions] -> творение монстра по имени Leslie Lamport -->, M$ Research между прочим. http://lamport.azurewebsites.net/
http://lamport.azurewebsites.net/tla/tla.html
Книга - скачивается http://lamport.azu …ites.net/tla/book.html Большая книга, скачивается The TLA+ Hyperbook http://lamport.azu …net/tla/hyperbook.html Очень стройная система формального описания ПО и моделирования на основе такого описания.