排序方式: 共有12条查询结果,搜索用时 312 毫秒
1.
随着软件规模越来越大,软件正确性问题也随之而来,基于Hoare公理系统的程序形式化验证方法,能够保证并提高软件的正确性。针对Hoare公理化方法证明中的前置条件难以寻找的问题,利用最弱前置变换法求出前置谓词作为公理化方法的前置条件。 相似文献
2.
随着软件规模越来越大,软件正确性问题也随之而来,基于Hoare公理系统的程序形式化验证方法,能够保证并提高软件的正确性。针对Hoare公理化方法证明中的前置条件难以寻找的问题,利用最弱前置变换法求出前置谓词作为公理化方法的前置条件。 相似文献
3.
针对银川市社会经济发展的情况,基于Petri网的建模方法,建立了银川市污水处理工艺流程图,利用丰富的分析方法对其进行了有效的分析。 相似文献
4.
5.
6.
西夏字符集编码和字库构造方法 总被引:1,自引:0,他引:1
对西夏文字的基本特征进行了论述,分析论证了几种编码方案,给出了基本字库的生成方法和途径以及提高基础工作效率的措施。 相似文献
7.
8.
9.
介绍了R.W.Floyd的证明程序部分正确性的归纳断言法和证明程序终止性的良序集法,以及Hoare公理系统。 相似文献
10.