论文部分内容阅读
出具证明编译器是随着人们对现今的软件提出更高的可靠性和安全性要求而产生的工具,它结合了以往程序设计和程序安全性证明的技术。论文介绍了一个出具证明编译器原型系统的实现。
一个出具证明编译器原型系统的实现
【摘 要】
：
出具证明编译器是随着人们对现今的软件提出更高的可靠性和安全性要求而产生的工具,它结合了以往程序设计和程序安全性证明的技术。论文介绍了一个出具证明编译器原型系统的
【机 构】
：
中国科学技术大学计算机科学技术系
【出 处】
：
计算机工程与应用
【发表日期】
：
2007年21期
【基金项目】
：
国家自然科学基金（the National Natural Science Foundation of China under Grant No.60673126）,Intel 中国研究中心资助.
其他文献
在秘密共享方案中，一般研究（n，t）门限秘密共享方案。具有特殊权限的（m＋n，t＋1）门限秘密共享方案是（n，t）门限秘密共享方案推广形式的门限秘密共享方案。在差分门限秘密共享方案的基础上构造
根据LS-SVM不具稀疏解的特性,提出了LS-SVM的组合优化算法及其改进算法,并利用整数规划优化了LS-SVM的组合优化算法中划分的样本子集包含的样本个数p。最后,对算法复杂性做了