SpencerL-Y/OCAReach

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

Java