Leveraging Large Language Models to Boost Dafny's Developers Productivity

Álvaro F. Silva, Alexandra Mendes, João F. Ferreira 0001. Leveraging Large Language Models to Boost Dafny's Developers Productivity. In Nico Plat, Stefania Gnesi, Carlo A. Furia, Antónia Lopes, editors, Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Portugal, April 14-15, 2024. pages 138-142, ACM, 2024. [doi]

Abstract

Abstract is missing.