Compositional reasoning for shared-variable concurrent programs

• Main Authors: ZHANG, Fuyuan, ZHAO, Yongwang, SANAN, David, LIU, Yang, TIU, Alwen, LIN, Shang-Wei, SUN, Jun
• 格式: text
• 語言: English
• 出版: Institutional Knowledge at Singapore Management University 2018
• 主題: Computer Engineering; Software Engineering
• 在線閱讀: https://ink.library.smu.edu.sg/sis_research/4649; https://ink.library.smu.edu.sg/context/sis_research/article/5652/viewcontent/FM2018.pdf

Scalable and automatic formal verification for concurrent systems is always demanding. In this paper, we propose a verification framework to support automated compositional reasoning for concurrent programs with shared variables. Our framework models concurrent programs as succinct automata and supp...