证明生成相关硕士博士期刊学术论文 - 搜论网

证明生成相关论文

出具证明编译器中证明生成的研究

随着计算机科学技术的飞速发展,计算机软件的规模日益庞大,调试和维护越来越困难。而另一方面,软件的安全形势严峻,对未受信源提供......

学位

证明生成自动定理证明线性整数定理证明出具证明编译器程序验证高可信软件

出具证明编译器中线性整数命题证明的自动生成

近年来,出具证明编译器作为构建高可信软件的重要途径,逐渐成为编译器理论和形式化验证的研究热点.在其理论框架中,编译器需要借助......

期刊

证明生成自动定理证明整数定理证明出具证明编译器

看过本文同时还关注