Publicações

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(es)

Hojjat,H;Caltais,G

Tipo de Documento

Proceedings Paper

Year published

2025

Publicado

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

Volume: 15593 LNCS, Páginas: 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
Fontes

Publication Identifiers

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

SCOPUS: 2-s2.0-105001280898

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

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

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Automatic Generation Of Loop Invariants In Dafny With Large Language Models

Links Úteis

Ajuda