Software-ul analiza tehnică în care programul de executie este simulat folosind simboluri, cum ar fi nume de variabile, mai degrabă decât valorile reale pentru datele de intrare şi programul ieşiri sunt exprimate ca expresii logice sau matematice, care implică aceste simboluri.