Compositional verification of termination-preserving refinement of concurrent programs

Document Details

Document Type
Pub Defense Publication
Publication Date
Jul 14, 2014
Source ID
10.1145/2603088.2603123

Entities

People

  • Hongjin Liang
  • Xinyu Feng
  • Zhong Shao

Organizations

  • China Scholarship Council
  • Defense Advanced Research Projects Agency
  • Ministry of Science and Technology of the People's Republic of China
  • National Natural Science Foundation of China
  • National Science Foundation
  • Office of Naval Research
  • University of Science and Technology of China
  • Yale University