На пути к верификации С-программ. Язык c-light и его трансформационная семантика

by Непомнящий, В.А., Ануреев, И.С., Промский, А.В.
Published 2006

Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри

by Визовитин, Н.В., Непомнящий, В.А., Стененко, А.А.
Published 2015