Model Checking Python Programs with MSVL. - Xinfeng Shu; Fengyun Gao; Weiran Gao; Lili Zhang; Xiaobing Wang; Liang Zhao 021 (SOFL+MSVL, 2019)