BPPChecker: An SMT-based Model Checker on Basic Parallel Processes. - Ying Zhao 027; Jinhao Tan; Guoqiang Li 001 (CoRR, 2021)

BPPChecker: An SMT-based Model Checker on Basic Parallel Processes. - Guoqiang Li 001; Qizhe Yang; Jinhao Tan; Ying Zhao 027 (Formal Aspects Comput., 2025)