Англійська ⇄ Німецька Російська +

proof system наголоси
мат.	система автоматического доказательства теорем (theatlantic.com Alex_Odeychuk)
науков.	система доказательства (MichaelBurov)
прогр.	доказательная система (доказывает, что контракты (предусловия и постусловия методов, инварианты типов и циклов) выполняются для всех допустимых путей выполнения кода Alex_Odeychuk)

proof system : 27 фраз в 14 тематиках

Автоматика	1
Електроніка	1
Загальна лексика	1
Інформаційні технології	1
Інформаційна безпека та захист даних	3
Космонавтика	1
Криптографія	6
Науково-дослідницька діяльність	1
Програмне забезпечення	2
Програмування	2
Радіотехніка	4
Сахалін	1
Системи безпеки	2
Техніка	1