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