Крывый, С.Л.; Максимец, А.Н.
(Кибернетика и системный анализ, 2014)
Рассмотрены современные методы верификации программного обеспечения последовательных, функциональных, параллельных и распределенных систем. Основное внимание уделяется методам верификации на основе свойств абстрактных ...