HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Filip Konecny

Publications
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

Keyphrases

acceleration, counter automata, reachability.

Copyright © 2012-2025 easychair.org. All rights reserved.