Programmatūras analīzes tehnika programmas izpildes ir simulējamas, izmantojot tādus simbolus kā mainīgo nosaukumi, nevis faktiskās vērtības attiecībā uz ievades datiem, un programmas rezultātu izsaka kā loģisko vai matemātiskās izteiksmes, iesaistot šos simbolus.