论文部分内容阅读
程序可靠性验证往往占用软件开发周期很长的时间,而现行的软件可靠性验证方法主要是基于形式化的方法如基于SPIN 的模型检测方法等,但这种方法可能由于模型建立的问题导致验证的复杂性极大提高,造成最后验证失败的结果比比皆是.为解决此问题,本文使用数学方法从数理逻辑角度用推理的方法实现了程序可靠性验证,并完成了客户服务器程序的可靠性验证,证明了该方法切实有效.