корректность

EN: correctness

Свойство алгоритма или программы, гарантирующее правильный результат для каждого допустимого входа. Частичная корректность означает правильный результат при условии завершения; полная корректность дополнительно требует доказательства завершения.