形式化方法在航空航天、芯片设计和铁路信号系统等安全关键领域已有成熟应用，但在通用软件开发中普及率仍很低