Work

Llm-Based Generation of Weakest Preconditions and Precise Array Invariants

Year: 2025

Type: conference-paper

Source: IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE)

DOI: 10.1109/formalise66629.2025.00016

Authors: Daragh King, Vasileios Koutavas, Laura Kovács

Institutions: Trinity College Dublin, TU Wien

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4411234047

FWCI: 2.118

Cites: 23

Cited by: 2

Related to: 10