אנגלית ⇄ גרמנית +

verification of a synthesized code
.בינה	Verifizierung eines synthetisierten Kodes