Browsing Computer Science and Automation (CSA) by Subject "Horn clauses"
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 ...