7 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.FL2023
Coverability in 2-VASS with One Unary Counter is in NP
Filip Mazowiecki, Henry Sinclair-Banks, Karol Węgrzycki
Coverability in Petri nets finds applications in verification of safety properties of reactive systems. We study coverability in the equivalent model: Vector Addition Systems with…
cs.PL2020★ 7 cited
Decidability and Synthesis of Abstract Inductive Invariants
Francesco Ranzato
Decidability and synthesis of inductive invariants ranging in a given domain play an important role in many software and hardware verification systems. We consider here inductive i…