Студенческий Кубок Городов по ЧГК

1 тур, вопрос 5

"Если автор программы не может доказать, что она написана правильно, то она считается неправильной". В учебнике Вадима Монахова данный принцип программирования получил название из двух слов. Напишите это название.