روش‌های جبری تحلیل نرم‌افزار