Mixing Coverability and Reachability to Analyze VASS with One Zero-Test.

Alain Finkel, Arnaud Sangnier

Browse the full SOFSEM paper archive.