 |
| French | Russian |
| preuve de variante | вариантное доказательство |
| preuve formelle de programme | формальное доказательство правильности программы |
| preuve supplémentaire | дополнительное доказательство |
| temps de preuve | машинное время проверки (после устранения неисправности) |