تحلیل ایستا و روش‌های رسمی تأیید امنیت سیستم‌های نرم‌افزاری