Yazılım analiz yöntemi gerçek değerler yerine değişken isimleri gibi simgeler için giriş verileri kullanarak programın çalışması simüle ve bu semboller içeren mantıksal veya matematiksel ifadeler olarak ifade edilen program çıktılar.