Jia, Xiangyu, and Shuo Li. 2023. “Parameterized Reachability Graph for Software Model Checking Based on PDNet”. Computing and Informatics 42 (4):781–804. https://doi.org/10.31577/cai_2023_4_781.