山东农业大学学报（自然科学版）Issue(4)：621-624,4.DOI:10.3969/j.issn.1000-2324.2015.04.029
数理逻辑的程序可靠性验证
Validation of Reliability on Mathematical Logic Program
顾名宇1
作者信息
- 1. 安顺职业技术学院信息工程系，贵州 安顺 561000
- 折叠
摘要
Abstract
The reliability verification of program often takes a very long time to develope the software, while the current software reliability verification method is mainly based on formal methods such as SPIN based on model checking method, but this method may lead to the complexity of verification to improve greatly bing due to model problems, and then finally fails in validation results everywhere. In order to solve this problem, this paper used mathematical methods from mathematical logic perspective to realize the program reliability verification, and completed the reliability verification of client server program, the method was be proved the validity in true.关键词
数理逻辑/程序/可靠性Key words
Mathematical logic/program/validation分类
信息技术与安全科学引用本文复制引用
顾名宇..数理逻辑的程序可靠性验证[J].山东农业大学学报（自然科学版）,2015,(4):621-624,4.
