Zhijun Ding Shuo Li Cheng Chen Cong He Program Dependence Net and Its Slice for Verifying Linear Temporal Properties. 2023 abs/2301.11723 CoRR https://doi.org/10.48550/arXiv.2301.11723 db/journals/corr/corr2301.html#abs-2301-11723