ซอฟต์แวร์วิเคราะห์เทคนิคในการทำงานของโปรแกรมจะจำลองการใช้สัญลักษณ์ เช่นชื่อตัวแปร มากกว่าค่าที่แท้จริงสำหรับข้อมูลการป้อนเข้า และโปรแกรมผลลัพธ์จะแสดงเป็นนิพจน์ทางตรรกะ หรือทางคณิตศาสตร์ที่เกี่ยวข้องกับสัญลักษณ์เหล่านี้