правильность (работы) программы

Автор статьи: Шалыт Израиль Соломонович
Дата последнего изменения:2016.06.30
Сообщить об ошибке

	правильность (работы) программы Доказывается путём её верификации. Иногда различают sequential correctness – правильность последовательных программ и concurrent correctness – правильность параллельных программ (см. также parallel program, verification). [Э.М. Пройдаков, Л.А. Теплицкий] правильность работы программы - [Интент]
EN
FR