يتم التعبير عن أسلوب تحليل برمجيات التي يتم محاكاة تنفيذ البرنامج باستخدام الرموز، مثل أسماء المتغيرات، بدلاً من القيم الفعلية لإدخال البيانات، ونواتج البرنامج التعبيرات المنطقية أو الرياضية التي تنطوي على هذه الرموز.