2 papers
cs.SE2025
Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
Cedric Richter, Heike Wehrheim
Automatic software verifiers have become increasingly effective at the task of checking software against (formal) specifications. Yet, their adoption in practice has been hampered…
cs.SE2025
Can ChatGPT support software verification?
Christian JanÃen, Cedric Richter, Heike Wehrheim
Large language models have become increasingly effective in software engineering tasks such as code generation, debugging and repair. Language models like ChatGPT can not only gene…