Formal methods have mature applications in safety-critical fields such as aerospace, chip design, and railway signaling systems, but their adoption rate in general software development remains very low.