USTC-Yale Joint Research Center for High-Confidence Software

Contains the keyword concurrent separation logic