Описание тега correctness

В теоретической информатике о правильности алгоритма говорят, когда говорят, что алгоритм корректен в соответствии со спецификацией.

Функциональная корректность относится к поведению алгоритма ввода-вывода (т. Е. Для каждого ввода он производит правильный вывод).

На практике корректность обеспечивается различными методами, например, доказательством теорем, формальной проверкой, тестированием и т. Д.