روش‌های صوری (Formal Methods) و تحلیل ایستا در برنامه‌نویسی