A Witnessing Compiler: A Proof of Concept.

Kedar S. Namjoshi, Giacomo Tagliabue, Lenore D. Zuck

Browse the full RV paper archive.