LuFG Informatik 2, RWTH Aachen University, Aachen, Germany;
LuFG Informatik 2, RWTH Aachen University, Aachen, Germany;
LuFG Informatik 2, RWTH Aachen University, Aachen, Germany;
LuFG Informatik 2, RWTH Aachen University, Aachen, Germany;
机译:通过符号执行对具有位向量算法的程序的终止和复杂性分析
机译:使用指针算法自动证明程序的终止和内存安全
机译:符号执行作为终止分析的基础
机译:通过符号执行,通过BitVector算术证明程序的终止
机译:自动证明功能程序的终止。
机译:非符号算术训练对符号算术和近似数系统的影响
机译:使用比特矢量算法的命令程序终止分析