1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.FL2023
EnPAC: Petri Net Model Checking for Linear Temporal Logic
Zhijun Ding, Cong He, Shuo Li
State generation and exploration (counterexample search) are two cores of explicit-state Petri net model checking for linear temporal logic (LTL). Traditional state generation upda…
cs.SE2023★ 1 cited
Program Dependence Net and On-demand Slicing for Property Verification of Concurrent System and Software
Zhijun Ding, Shuo Li, Cheng Chen +1
When checking concurrent software using a finite-state model, we face a formidable state explosion problem. One solution to this problem is dependence-based program slicing, whose…