LOUD: Synthesizing Strongest and Weakest Specifications

Kanghee Park, Xuanyu Peng, Loris D'Antoni

This paper tackles the problem of synthesizing specifications for nondeterministic programs. For such programs, useful specifications can capture demonic properties, which hold for…