Automated Conversion of Axiomatic to Operational Models: Theory and Practice.

Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia

Browse the full FMCAD paper archive.