M Pradel, TR Gross - 2009 IEEE/ACM International Conference …, 2009 - ieeexplore.ieee.org
Formal specifications are used to identify programming errors, verify the correctness of
programs, and as documentation. Unfortunately, producing them is error-prone and time …