A Prototype for Data Race Detection in CSeq 3 (Competition Contribution)

Alex Coto,Omar Inverso,Emerson Sales,Emilio Tuosto

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT II（2022）

引用 4|浏览20

暂无评分

摘要

We sketch a sequentialization-based technique for bounded detection of data races under sequential consistency, and summarise the major improvements to our verification framework over the last years.

查看译文

关键词

Bounded model checking, Context-bounded analysis, Sequentialization, Data races, Reachability, Concurrency, Threads

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要