Fingerprint
Dive into the research topics of 'CSimpl: A rely-guarantee-based framework for verifying concurrent programs'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
CSimpl: A rely-guarantee-based framework for verifying concurrent programs
David Sanán, Yongwang Zhao, Zhe Hou, Fuyuan Zhang, Alwen Tiu, Yang Liu
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
13
Citations
(Scopus)