中科大-耶鲁 高可信软件联合研究中心

Verifying Concurrent Software for Multi-Core Machines