News
Исполнение моделей при помощи виртуальной машины.
Abstract
Данная статья посвящена теме исполнения моделей. Автоматическая верификация подразумевает возможность при помощи компьютера определить, удовлетворяет ли модель требованиям, предъявляемым к системе. Такая проверка может принимать различные формы, включая формальный математический вывод, но наиболее часто под этим подразумевается тестирование и отладка моделей путём их исполнения. В любом случае важно иметь такую возможность для моделей, находящихся на высоком уровне абстракции и даже неполных, которые появляются на ранних стадиях процесса разработки, поскольку именно тогда и принимается большинство фундаментальных решений.
Edition
Proceedings of the Institute for System Programming, vol. 8, issue 1 (in Russian), 2004, Стр. 199-210.
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).