java第二次作业 ：阅读和了解什么是形式化方法

形式化方法（Formal Methods）是基于严格数学基础，对软/硬件系统进行规约、开发、验证的技术集合，核心是用数学语言消除自然语言的歧义、提升系统可靠性。
核心基础：形式逻辑、自动机理论、程序语义、类型系统等。
主要应用：
1.形式化规约：用Z语言、VDM等描述系统行为，明确需求边界
2.形式化验证：通过模型检测、定理证明验证系统是否满足安全/正确属性
3.形式化开发：从数学规约逐步推导可执行代码、减少缺陷
适用场景：航空航天、医疗设备、金融系统等对安全要求性极高的领域