Tool Demonstration of the FLATA Counter Automata Toolset.

Marius Bozga, Radu Iosif, Filip Konecn, Toms Vojnar

Browse the full CADE paper archive.