Browsing Computer Science and Automation (CSA) by Author "Sumanth Prabhu, S"
Now showing items 1-1 of 1
-
Specification Synthesis with Constrained Horn Clauses
Sumanth Prabhu, SMany 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 ...