External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

An MSVL Based Model Checking Method for Multi-threaded C Programs

Xinfeng Shu, Zhenyu Wang, Weiran Gao, Xiaobing Wang, Liang Zhao. An MSVL Based Model Checking Method for Multi-threaded C Programs. In Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan, editors, Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers. Volume 12723 of Lecture Notes in Computer Science, pages 88-101, Springer, 2020. [doi]

Authors

Xinfeng Shu

This author has not been identified. Look up 'Xinfeng Shu' in Google

Zhenyu Wang

This author has not been identified. Look up 'Zhenyu Wang' in Google

Weiran Gao

This author has not been identified. Look up 'Weiran Gao' in Google

Xiaobing Wang

This author has not been identified. Look up 'Xiaobing Wang' in Google

Liang Zhao

This author has not been identified. Look up 'Liang Zhao' in Google
runs on