A State-of-the-Art Karp-Miller Algorithm Certified in Coq.

Thibault Hilaire, David Ilcinkas, Jrme Leroux

Browse the full TACAS paper archive.