| |
Манжос, Ю. С.
Тестування, валідація та верифікація програмного забезпечення [Текст] / Ю. С. Манжос
// Інженерія програмного забезпечення. – 2010. – № 1. – С. 5-14.
Доведена необхідність створення незележної верифікації, що базується на контролі семантичних інваріантів. |
