Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility
ACM Transactions on Programming Languages and Systems（2022）
Key words
Refinement,weak memory models,x86-TSO
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined