机译:自动完善堆操作程序的部分规范
School of Computing, Teesside University, United Kingdom,College of Computer Science and Software Engineering, Shenzhen University, China,College of Computer Science, Beijing University of Technology, China;
School of Computing, Teesside University, United Kingdom;
School of Computing, Teesside University, United Kingdom;
School of Computing, National University of Singapore, Singapore;
College of Computer Science, Beijing University of Technology, China;
Static program analysis; Separation logic; Numerical analysis; Partial specification refinement; Semi-automatic software verification; Constraint abstraction;
机译:堆操纵程序的自动数字抽象
机译:具有高度可视化和抽象程序规范的自动编程系统SPACE
机译:规范和自动检查面向对象程序的体系结构约束
机译:自动完善部分规范以进行程序验证*
机译:证明堆操作程序正确性的自动技术。
机译:校正:叶T。等。分流模式下基于特征融合细化神经网络的铁路交通自动检测系统。传感器2018181916
机译:自动完善堆操作程序的部分规范