Автоматизация проверки правильности программных систем как актуальная задача современной программной инженерии. Анализ метода выявления таких патологий формальных моделей, как неполнота и противоречивость, а так же гонки в параллельных процессах.
При низкой оригинальности работы "Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем", Вы можете повысить уникальность этой работы до 80-100%
