/OCAReach

Implementation of algorithm that convert the reachability problem of one-counter automata into a QFPA formula

Primary LanguageJava

No issues in this repository yet.