Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves

Laurence Rideau, Bernard P. Serpette, Xavier Leroy. Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves. Journal of Automated Reasoning, 40(4):307-326, 2008. [doi]

Bibliographies