akos-hajdu documents

New Search Strategies for the Petri Net CEGAR Approach
Science New Search Strategies for the Petri Net CEGAR Approach
A Configurable CEGAR Framework with Interpolation-Based Refinements
Science A Configurable CEGAR Framework with Interpolation-Based Refinements
Exploratory Analysis of the Performance of a Configurable CEGAR Framework
Science Exploratory Analysis of the Performance of a Configurable CEGAR Framework