Formal Verification by Reverse Synthesis.

Xiang Yin, John C. Knight, Elisabeth A. Nguyen, Westley Weimer

Browse the full SAFECOMP paper archive.