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