אנגלית ⇄ איטלקית גרמנית דנית הולנדית יוונית ספרדית פורטוגלית צרפתית רוסית שוודית +

proof of correctness
.טכנול	Korrektheitsbeweis m
.מיקרו	Beweis der Richtigkeit; Nachweis der Richtigkeit