Publications

Martin, Leucker, Grigory Markin, and R. Neuhäußer Martin A New Refinement Strategy for CEGAR-Based Industrial Model Checking. Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. :155–170. 2015.