证明工具Coq相关论文
随着Internet的广泛应用和移动计算领域的不断扩大,人们对高可信软件的需求越来越多,从而对软件的可靠性和安全性提出了更高的挑战,因......
对可靠程序的需求随着高可信软件在信息社会中的作用日益重要而增加.基于形式化证明工具构造携带证明的安全程序,给出严格的程序规......