Auflistung Конференції Nach Schlagwort "метод формальной верификаци"
Anzeige der Dokumente 1-1 von 1
-
ИССЛЕДОВАНИЕ НЕОБХОДИМОСТИ ИСПОЛЬЗОВАНИЯ ВЕРИФИКАЦИИ ПРОГРАММ
(ДВНЗ "НГУ" ТОВ "САЛВЕЙ", 2013)Обеспечение высокой надежности и безошибочности программ — одна из главных задач индустрии информационных технологий. Использование верификации, дополняющей традиционные методы тестирования и отладки, позволяет повышать ...