View of Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?

##article.return## Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification? Download Download PDF