48 citations · 207 across the 23 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 24 cited
Forward Analysis for WSTS, Part II: Complete WSTS
Alain Finkel, Jean Goubault-Larrecq
We describe a simple, conceptual forward analysis procedure for infinity-complete WSTS S. This computes the so-called clover of a state. When S is the completion of a WSTS X, the c…
cs.DM2012★ 12 cited
Model Checking Vector Addition Systems with one zero-test
Rémi Bonnet, Alain FInkel, Jérôme Leroux +1
We design a variation of the Karp-Miller algorithm to compute, in a forward manner, a finite representation of the cover (i.e., the downward closure of the reachability set) of a v…