Keyword:counter automata

Papers
Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes Wojciech Czerwiński and Łukasz Orlikowski EasyChair Preprint no. 8619
Tool Demonstration of the FLATA Counter Automata Toolset Marius Bozga, Radu Iosif, Filip Konecny and Tomas Vojnar In:WING 2010. Workshop on Invariant Generation 2010