9th International Workshop on Reachability Problems

Slides

Here are slides of some chosen presentations:

On Boundedness Problems for Pushdown Vector Addition Systems, by Patrick Totzke

The Ideal View on Rackoff's Coverability Technique, by Ranko Lazic

Multithreaded-Cartesian Abstract Interpretation of Multithreaded Recursive Programs is Polynomial, by Alexander Malkis

Recent Results on Concurrent Reachability Games, by Peter Bro Miltersen

Important dates:

Support

We acknowledge the kind support of