...
机译:基于数量论消除的启发式算法,用于自动生成程序的感应式声明
Department of Computer Science, University of New Mexico, Albuquerque, USA;
automated software analysis and verification; inductive assertion; loop invariant; quantifier elimination;
机译:基于数量论消除的启发式算法,用于自动生成程序的感应式声明
机译:从化合物数据中挖掘的基于逻辑的启发式逻辑编程
机译:化学复合数据采矿诱导逻辑规划中的距离的启发式
机译:使用断言和不变量自动生成与专栏对应的编程问题
机译:使用自动生成的模型证明程序的属性。
机译:一种基于改进感应转移学习的自动癫痫检测方法
机译:基于断言的逻辑程序归纳验证方法
机译:用于证明程序正确性的半自动生成感应断言。