Grigory Markin
Former Employee
Imported from old website. Role: Former Staff Period: -2020
Recent Publications
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, 2015
Martin Leucker and Grigory Markin and Martin R. Neuhäußer
Theses on Offer
Contact Information
markin@placeholder.isp.uni-luebeck.de
Address
N/A
Phone
N/A