Login / Signup

CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs.

David SanánYongwang ZhaoZhe HouFuyuan ZhangAlwen TiuYang Liu
Published in: TACAS (1) (2017)
Keyphrases
  • concurrent programs
  • database systems