Softwarová analýza technika v spuštění programu je simulované pomocí symbolů, jako jsou názvy proměnných, spíše než skutečné hodnoty pro vstupní data, a program výstupy jsou vyjádřeny jako logické nebo matematické výrazy zahrnující tyto symboly.