Home » Authors » Rémi Bonnet, Alain Finkel, Jérôme Leroux, Marc Zeitoun

Rémi Bonnet, Alain Finkel, Jérôme Leroux, Marc Zeitoun

Public reference bibliography and cataloged PDF materials authored or published by Rémi Bonnet, Alain Finkel, Jérôme Leroux, Marc Zeitoun.

Found 1 document(s) Page 1 of 1

Model Checking Vector Addition Systems with one zero-test

Year: 2012 • Source: hal.science • Listed PDF

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 vector addition system with one zero-test...