A JPSL Based Model Checking Approach for Java Programs. - Xinfeng Shu; YanLin Li; Weiran Gao (SOFL+MSVL, 2022)