21 citations · 21 across the 3 of their papers we have counts for
3 papers
cs.LO2020
Reachability in Two-Dimensional Vector Addition Systems with States: One Test is for Free
Jérôme Leroux, Grégoire Sutre
Vector addition system with states is an ubiquitous model of computation with extensive applications in computer science. The reachability problem for vector addition systems is ce…
cs.FL2015
On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension
Jérôme Leroux, Grégoire Sutre, Patrick Totzke
Does the trace language of a given vector addition system (VAS) intersect with a given context-free language? This question lies at the heart of several verification questions invo…
cs.DS2008★ 21 cited
Accelerated Data-Flow Analysis
Jérôme Leroux, Gregoire Sutre
Acceleration in symbolic verification consists in computing the exact effect of some control-flow loops in order to speed up the iterative fix-point computation of reachable states…