LOUD: Synthesizing Strongest and Weakest Specifications
This work extends the specification-synthesis framework from my previous paper to a more general setting. The earlier framework synthesized strongest properties for quantifier-free …
Synthesizing Specifications
A framework for synthesizing useful program specifications.