形式方法

分类包含 15 篇文章

子分类：形式方法人物 | 抽象数据类型 | 程序分析

静态时序分析

后置条件

动态时序验证

先决条件

时间分割测试

联合国大学国际软件技术研究所

形式语义学

循环不变量

行为时序逻辑

形式验证