Browsing Computer Science and Automation (CSA) by Subject "Infer-Check-Weaken"
Now showing items 1-1 of 1
-
Specification Synthesis with Constrained Horn Clauses
Many practical problems in software development, verification and testing rely on specifications. The problem of specification synthesis is to automatically find relational constraints for undefined functions, called ...