Софтуер анализ техника в която изпълнението на програмата се симулира използването на символи, като имена на променливи, отколкото действителните стойности за въвеждане на данни и програма за изхода са изразени като логически или математически изрази, включващи тези символи.