[PDF][PDF] 二维逻辑PPTLSL的可满足性检查
陆旭， 段振华， 田聪 - 软件学报, 2016 - jos.org.cn
由于指针的灵活性以及别名现象的存在, 程序的运行可能会出现悬空指针引用,
内存泄漏等诸多问题. PPTLSL 是一种二维(时间和空间) 时序逻辑, 它结合了分离逻辑 …
内存泄漏等诸多问题. PPTLSL 是一种二维(时间和空间) 时序逻辑, 它结合了分离逻辑 …
[PDF][PDF] 二维逻辑PPTLSL 的可满足性检查
陆旭， 段振华， 田聪 - jos.org.cn
由于指针的灵活性以及别名现象的存在, 程序的运行可能会出现悬空指针引用,
内存泄漏等诸多问题. PPTLSL 是一种二维(时间和空间) 时序逻辑, 它结合了分离逻辑 …
内存泄漏等诸多问题. PPTLSL 是一种二维(时间和空间) 时序逻辑, 它结合了分离逻辑 …
[引用][C] 二维逻辑PPTLSL的可满足性检查
陆旭， 段振华， 田聪 - 软件学报, 2016 - jos.org.cn
二维逻辑PPTL<sup>SL</sup>的可满足性检查 微信服务号 微信订阅号 主页 期刊介绍 编委会
服务介绍 投稿指南 出版道德 联系我们 E-mail Alert English 首页 > 过刊浏览>2016年第27卷第 …
服务介绍 投稿指南 出版道德 联系我们 E-mail Alert English 首页 > 过刊浏览>2016年第27卷第 …
[引用][C] 二维逻辑PPTLSL的可满足性检查
陆旭， 段振华， 田聪 - 软件学报, 2016 - jos.org.cn
二维逻辑PPTL<sup>SL</sup>的可满足性检查 微信服务号 微信订阅号 主页 期刊介绍 编委会
服务介绍 投稿指南 出版道德 联系我们 E-mail Alert English 首页 > 过刊浏览>2016年第27卷第 …
服务介绍 投稿指南 出版道德 联系我们 E-mail Alert English 首页 > 过刊浏览>2016年第27卷第 …