基于隔离逻辑的并行程序可靠性验证方法

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于隔离逻辑的并行程序可靠性验证方法

万良

Reliability Verification Method for Concurrent Program Based on Separation Logic

WAN Liang

计算机工程 . 2014, (2): 86 -91,96 . DOI: 10.3969/j.issn.1000-3428.2014.02.019