Automatic safety proofs for asynchronous memory operations
Automatic safety proofs for asynchronous memory operations
复制标题
异步内存操作的自动安全证明
DOI：
10.1145/1941553.1941605
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Botincan M
中科院分区：
文献类型：
--
作者：
Botincan M
我们提出了一个正在进行的证明系统和工具，基于分离逻辑，用于分析使用异步内存操作的多核程序的内存安全性。
We present a work-in-progress proof system and tool, based on separation logic, for analysing memory safety of multicore programs that use asynchronous memory operations.
异构多核处理器暂存器代码的自动分析
DOI：
--
发表时间：
2010
期刊：
International Conference on Tools and Algorithms for Construction and Analysis of Systems
影响因子：
--
作者：
Alastair F. Donaldson;D. Kroening;P. Rümmer
通讯作者：
P. Rümmer