Колчин, А.В.; Летичевский, А.А.; Потиенко, С.В.
(Проблеми програмування, 2014)
Описан метод выявления таких патологий формальных моделей, как неполнота и противоречивость, а так же гонки в параллельных процессах. Метод реализует проверку свойств на основании анализа описания переходов модели, при ...