Xinfeng Shu, Yanlin Li, Weiran Gao. A JPSL Based Model Checking Approach for Java Programs. In Shaoying Liu, Zhenhua Duan, ai Liu, editors, Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers. Volume 13854 of Lecture Notes in Computer Science, pages 30-49, Springer, 2022. [doi]
Abstract is missing.