Leveraging Large Language Models to Boost Dafny's Developers Productivity
Á Silva, A Mendes, JF Ferreira - arXiv preprint arXiv:2401.00963, 2024 - arxiv.org
This research idea paper proposes leveraging Large Language Models (LLMs) to enhance
the productivity of Dafny developers. Although the use of verification-aware languages, such …
the productivity of Dafny developers. Although the use of verification-aware languages, such …
Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE) co-located with the 38th IEEE/ACM ASE 2023
Over the past three decades, automation in software development has gone mainstream.
Software development teams strive to automate as much of the software development …
Software development teams strive to automate as much of the software development …
[PDF][PDF] Automatic Specification Repair in Contract Programming
AA de Abreu Filho - 2023 - repositorio-aberto.up.pt
Software verification using formal methods is a growing area. It is vital for code deemed
critical by their owners, as it provides a rigorous indication that they follow the provided …
critical by their owners, as it provides a rigorous indication that they follow the provided …