Xinfeng Shu, Na Luo, Bo Wang, Xiaobing Wang, Liang Zhao. Model Checking Java Programs with MSVL. In Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya, editors, Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers. Volume 11392 of Lecture Notes in Computer Science, pages 89-107, Springer, 2018. [doi]