Автоматизированная формулировка логических выводов

Существуют два основных типа формальной верификации — автоматизированная формулировка логических выводов и верификация модели. Верификация модели представляет собой метод анализа пространства состояния системы для проверки некоторых свойств, обычно называемых утверждениями . Одной из разновидностей верификации моделей является проверка на эквивалентность, которая [c.322]

Автоматизированная формулировка логических выводов [c.323]

К сожалению, то, что достигнуто в одних областях, уже утеряно в других. Несмотря на название, автоматизированная формулировка не выполняется в автоматическом режиме. На практике, при проверке устройства разработчики проводят доказательства с помощью определенных средств. Более того, для эффективного использования этих средств инженерам необходимо хорошо владеть стратегией доказательств, математической логикой и другими приёмами. Всё это требует нестандартных знаний, но если вы желаете потратить время и силы, то автоматизированная формулировка логических выводов, вероятно, будет наиболее мощным средством верификации ваших систем. [c.324]

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...