Метод верификации свойств реактивной системы на модели

Журнал: 
Страница: 
60
УДК: 
519.713.1: 51.681.3
В работе описывается подход к верификации асинхронных дискретных динамических реактивных систем, основанный на использовании темпоральной логики (CTL - Computation Tree Logic), сетей Петри (СП) и систем линейных диофантовых ограничений (СЛДО).