IronSpec: Increasing the Reliability of Formal Specifications.

Eli Goldweber, Weixin Yu, Seyed Armin Vakil-Ghahani, Manos Kapritsos

Browse the full OSDI paper archive.