13 citations · 37 across the 8 of their papers we have counts for
1 paper · 1 filter
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…