| |
Крывый, С. Л.
Верификация программ: состояние, проблемы, результаты [Текст] / С. Л. Крывый, А. Н. Максимец
// Кибернетика и системный анализ. – 2014. – Т. 50, № 1. – С. 11-20.
Рассмотрены современные методы верификации програмного обеспечения последовательных, функциональных, параллельных и распределенных систем. |
