Алгоритмы, дискретная математика и пр.'s Journal (original) (raw)
2:59p
Верификация с LTL/CTL Господа, не подкинете ли статеек - туториалов - книг итп о верификации программ с помощью LTL или CTL? Я нашел кучку верификаторов формул LTL и CTL, но хотелось бы чего-то, преподносящего сам подход к практической верификации - т.е. туториал типа "Как записать ваш интернет-магазин на COBOL в виде формулы LTL и проверить ее за 21 день".
Или, например, case study верификации какой-нибудь системы типа persistent message queue.