1

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
Students in computing education increasingly use large language models (LLMs) such as ChatGPT. Yet, the role of LLMs in supporting …
PDF
Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
Debugging and repairing faults when programs fail to formally verify can be complex and time-consuming. Automated Program Repair (APR) …
PDF Code
What Challenges do Developer Face when using Verification-Aware Languages?
Abstract—Software reliability is critical in ensuring that the digital systems we depend on function correctly. In software …
PDF