Pointer logic; automated verification; software safety; static analysis;
机译:分离逻辑验证指针程序的完整性和表达性
机译:通过分离逻辑的指针程序验证的完整性和表现力
机译:使用Monadic二阶逻辑自动验证指针程序
机译:指针逻辑实现自动验证
机译:自动化逻辑综合与模块选择系统的设计,实现与分析
机译:高效实现NFFT算法的可编程逻辑中的自动化软件加速:一个案例研究
机译:范围逻辑:扩展指针程序验证的Hoare逻辑