Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS

29 Apr 2018 Brázdil Tomáš Chatterjee Krishnendu Kučera Antonín Novotný Petr Velan Dominik Zuleger Florian

Vector Addition Systems with States (VASS) provide a well-known and fundamental model for the analysis of concurrent processes, parameterized systems, and are also used as abstract models of programs in resource bound analysis. In this paper we study the problem of obtaining asymptotic bounds on the termination time of a given VASS... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • LOGIC IN COMPUTER SCIENCE