Buchumschlag

Supporting Software Formal Verification with Large Language Models: An Experimental Study

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wang, Weiqi, Farrell, Marie, Cordeiro, Lucas C., Zhao, Liping
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification
von: Pirzada, Muhammad A. A., et al.
Veröffentlicht: (2026)

Automated Repair of AI Code with Large Language Models and Formal Verification
von: Charalambous, Yiannis, et al.
Veröffentlicht: (2024)

ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification
von: Dantas, Pierre, et al.
Veröffentlicht: (2026)

ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation
von: Zhu, Taohong, et al.
Veröffentlicht: (2025)

A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
von: Tihanyi, Norbert, et al.
Veröffentlicht: (2023)

Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview
von: Tihanyi, Norbert, et al.
Veröffentlicht: (2025)

UnitTenX: Generating Tests for Legacy Packages with AI Agents Powered by Formal Verification
von: Charalambous, Yiannis, et al.
Veröffentlicht: (2025)

Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
von: Richter, Cedric, et al.
Veröffentlicht: (2025)

Floating-Point Neural Network Verification at the Software Level
von: Manino, Edoardo, et al.
Veröffentlicht: (2025)

An Empirical Study on the Code Refactoring Capability of Large Language Models
von: Cordeiro, Jonathan, et al.
Veröffentlicht: (2024)

Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study
von: Menezes, Rafael Sá, et al.
Veröffentlicht: (2024)

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems
von: Kirchner, Sven, et al.
Veröffentlicht: (2025)

Agentic Verification of Software Systems
von: Tu, Haoxin, et al.
Veröffentlicht: (2025)

Software Testing with Large Language Models: An Interview Study with Practitioners
von: Santana, Maria Deolinda, et al.
Veröffentlicht: (2025)

Can Large Language Models Model Programs Formally?
von: Chen, Zhiyong, et al.
Veröffentlicht: (2026)

Augmenting the Generality and Performance of Large Language Models for Software Engineering
von: Peña, Fabian C.
Veröffentlicht: (2025)

Guidelines for Empirical Studies in Software Engineering involving Large Language Models
von: Baltes, Sebastian, et al.
Veröffentlicht: (2025)

Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
von: Wojtak, Connor, et al.
Veröffentlicht: (2025)

Software Testing with Large Language Models: Survey, Landscape, and Vision
von: Wang, Junjie, et al.
Veröffentlicht: (2023)

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
von: Carreira, Carolina, et al.
Veröffentlicht: (2025)

Towards an Understanding of Large Language Models in Software Engineering Tasks
von: Zheng, Zibin, et al.
Veröffentlicht: (2023)

Formal Verification of Consistency for Systems with Redundant Controllers
von: Johansson, Bjarne, et al.
Veröffentlicht: (2024)

Applications and Implications of Large Language Models in Qualitative Analysis: A New Frontier for Empirical Software Engineering
von: Leça, Matheus de Morais, et al.
Veröffentlicht: (2024)

Software Engineering as a Domain to Formalize
von: Meyer, Bertrand
Veröffentlicht: (2025)

Language Models in Software Development Tasks: An Experimental Analysis of Energy and Accuracy
von: Alizadeh, Negar, et al.
Veröffentlicht: (2024)

ProofWright: Towards Agentic Formal Verification of CUDA
von: Chatterjee, Bodhisatwa, et al.
Veröffentlicht: (2025)

Formalizing and validating properties in Asmeta with Large Language Models (Extended Abstract)
von: Bombarda, Andrea, et al.
Veröffentlicht: (2026)

Prioritizing Software Requirements Using Large Language Models
von: Sami, Malik Abdul, et al.
Veröffentlicht: (2024)

A Survey on Large Language Models for Software Engineering
von: Zhang, Quanjun, et al.
Veröffentlicht: (2023)

An Empirical Study on Low-Code Programming using Traditional vs Large Language Model Support
von: Liu, Yongkun, et al.
Veröffentlicht: (2024)

Prediction Model of Motivators and Demotivators of Integrating Large Language Models in Software Engineering Education: An Empirical Study
von: Khan, Maryam, et al.
Veröffentlicht: (2026)

Chat-like Asserts Prediction with the Support of Large Language Model
von: Wang, Han, et al.
Veröffentlicht: (2024)

A Pilot Study on Detecting Software Design Patterns with Large Language Models: An Empirical Evaluation
von: Chowdhury, Oishik, et al.
Veröffentlicht: (2026)

Benchmarking Large Language Models for Multi-Language Software Vulnerability Detection
von: Zhang, Ting, et al.
Veröffentlicht: (2025)

Architectural Support for Software Performance in Continuous Software Engineering: A Systematic Mapping Study
von: Eramo, Romina, et al.
Veröffentlicht: (2023)

Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems
von: Ma, Zhi, et al.
Veröffentlicht: (2024)

Formal Verification of Ecosystem Restoration Requirements using UML and Alloy
von: Sousa, Tiago, et al.
Veröffentlicht: (2024)

Measuring Determinism in Large Language Models for Software Code Review
von: Klishevich, Eugene, et al.
Veröffentlicht: (2025)

How Effective are Large Language Models in Generating Software Specifications?
von: Xie, Danning, et al.
Veröffentlicht: (2023)

The Current Challenges of Software Engineering in the Era of Large Language Models
von: Gao, Cuiyun, et al.
Veröffentlicht: (2024)