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

symbolic execution
.בינה	symbolische Ausführung
.טכנול	symbolische Programmausführung