烬湾

摘要： 形式化方法 是指建立在严格数学基础上的系统开发 方法。它是保证设计正确性的一条重要的途径。其中，逻辑、 代数、自动机、图论等构成 了形 式化方法的数学基础。形 式化方法的目的是希望所设计的系统具有较高的可信度和 正确性，并能使系统具有 良好的结构、易维护、能较好地满 足用户要求。实践证明，通过形式规 阅读全文