Колчин, А.В.; Летичевский, А.А.; Потиенко, С.В.
(Штучний інтелект, 2015)
Цель предлагаемого метода – сократить исследуемое пространство поведения формальных моделей, и, как следствие, повысить эффективность анализа ее свойств. В основу метода положен алгоритм статического символьного анализа ...