Програмне забезпечення аналізу техніку в якій виконання програми моделювання за допомогою символів, таких як імена змінних, а не фактичні значення для вводу даних, а програма виводить виражаються як логічне або математичні вирази, за участю ці символи.