En analyse teknikk der programkjøring simuleres bruker symboler, for eksempel variabelnavn, i stedet for faktiske verdier for inndataene, og programmet utganger uttrykkes som logisk eller matematiske uttrykk som involverer disse symbolene.