Publications

Automatic Generation Of Loop Invariants In Dafny With Large Language Models

AuthID
P-018-G5G

Author(s)

Pascoal Faria, J

Trigo, E

Abreu, R

Editor(s)

Hojjat,H;Caltais,G

Document Type

Proceedings Paper

Year published

2025

Published

in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 15593 LNCS, Pages: 138-154 (16)

Conference

11Th Ifip Wg 2.2 International Conference on Fundamentals of Software Engineering, Fsen 2025, Date: 7 April 2025 through 8 April 2025, Location: Västerås

Indexing

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-031-87054-5_10

Scopus: 2-s2.0-105001280898

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Automatic Generation Of Loop Invariants In Dafny With Large Language Models

Useful Links

Get Help

Federated Authentication (Click on the image)

Automatic Generation Of Loop Invariants In Dafny With Large Language Models

Useful Links

Get Help