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