Grigory Markin

According to our database, Grigory Markin authored at least 1 paper in 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2015

A New Refinement Strategy for CEGAR-Based Industrial Model Checking.

Martin Leucker, Grigory Markin, Martin R. Neuhäußer

Proceedings of the Hardware and Software: Verification and Testing, 2015