João Carlos Pascoal Faria
AuthID: R-000-6WK
1
TITLE: Automatic Generation of Loop Invariants in Dafny with Large Language Models
AUTHORS: João Pascoal Faria; Emanuel Trigo; Rui Abreu;
PUBLISHED: 2025, SOURCE: 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025 in Lecture Notes in Computer Science, VOLUME: 15593 LNCS
AUTHORS: João Pascoal Faria; Emanuel Trigo; Rui Abreu;
PUBLISHED: 2025, SOURCE: 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025 in Lecture Notes in Computer Science, VOLUME: 15593 LNCS
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef