分类: 执行历史验证 | EagleBear2002 的博客

执行历史验证分类

2024

10-21

OOPSLA'24-Plume-Efficient and Complete Black-box Checking of Weak Isolation Levels

03-04

OOPSLA'19-On the Complexity of Checking Transactional Consistency