Cover Image

RE-oriented Model Development with LLM Support and Deduction-based Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Klimek, Radoslaw
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Re-evaluation of Logical Specification in Behavioural Verification
by: Klimek, Radoslaw, et al.
Published: (2025)

Logic Mining from Process Logs: Towards Automated Specification and Verification
by: Klimek, Radoslaw, et al.
Published: (2025)

Explainable Verification of Hierarchical Workflows Mined from Event Logs with Shapley Values
by: Klimek, Radoslaw, et al.
Published: (2025)

Scalable Deductive Verification of Data-Level Parallel Programs
by: Haak, Lars B. van den, et al.
Published: (2026)

AutoDeduct: A Tool for Automated Deductive Verification of C Code
by: Amilon, Jesper, et al.
Published: (2025)

Toward Practical Deductive Verification: Insights from a Qualitative Survey in Industry and Academia
by: Brugger, Lea Salome, et al.
Published: (2025)

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
by: Foster, Simon, et al.
Published: (2020)

Crash-free Deductive Verifiers
by: Nauta, Wander, et al.
Published: (2026)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
by: Wang, Weiqi, et al.
Published: (2025)

Learning Project-wise Subsequent Code Edits via Interleaving Neural-based Induction and Tool-based Deduction
by: Liu, Chenyan, et al.
Published: (2026)

TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deduction of Transitive Links among Artifacts
by: Gao, Hui, et al.
Published: (2023)

MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing
by: Xu, Congying, et al.
Published: (2024)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
by: Ma, Lezhi, et al.
Published: (2026)

LLM4VV: Exploring LLM-as-a-Judge for Validation and Verification Testsuites
by: Sollenberger, Zachariah, et al.
Published: (2024)

Requirements Debt in AI-Enabled Perception Systems Development: An Industrial RE4AI Perspective
by: Saeeda, Hina, et al.
Published: (2026)

DafnyPro: LLM-Assisted Automated Verification for Dafny Programs
by: Banerjee, Debangshu, et al.
Published: (2026)

REConnect: Participatory RE that Matters
by: Damian, Daniela, et al.
Published: (2025)

CodeGrad: Integrating Multi-Step Verification with Gradient-Based LLM Refinement
by: Zhang, Yueke, et al.
Published: (2025)

Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents
by: Liu, Zihan, et al.
Published: (2024)

An Efficient VCGen-based Modular Verification of Relational Properties
by: Blatter, Lionel, et al.
Published: (2024)

Replication in Requirements Engineering: the NLP for RE Case
by: Abualhaija, Sallam, et al.
Published: (2023)

Benchmarking and Studying the LLM-based Agent System in End-to-End Software Development
by: Zeng, Zhengran, et al.
Published: (2025)

Towards Supporting Quality Architecture Evaluation with LLM Tools
by: Capilla, Rafael, et al.
Published: (2026)

Next Steps in LLM-Supported Java Verification
by: Teuber, Samuel, et al.
Published: (2025)

Dissect-and-Restore: AI-based Code Verification with Transient Refactoring
by: Wang, Changjie, et al.
Published: (2025)

NLP4RE Tools: Classification, Overview, and Management
by: Frattini, Julian, et al.
Published: (2024)

LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations
by: He, Ruidi, et al.
Published: (2025)

LLM-Based Static Verification of Code Against Natural-Language Requirements: An Industrial Experience Report
by: Zhou, Zhi Quan, et al.
Published: (2026)

Supporting Stakeholder Requirements Expression with LLM Revisions: An Empirical Evaluation
by: Mircea, Michael, et al.
Published: (2026)

Opportunities and Limitations of GenAI in RE: Viewpoints from Practice
by: Hess, Anne, et al.
Published: (2026)

InferLog: Accelerating LLM Inference for Online Log Parsing via ICL-oriented Prefix Caching
by: Wang, Yilun, et al.
Published: (2025)

A Case Study on Model Checking and Runtime Verification for Awkernel
by: Hasegawa, Akira, et al.
Published: (2025)

Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems
by: Zhang, Jianyu, et al.
Published: (2024)

Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version)
by: Hähnle, Reiner, et al.
Published: (2025)

From Inductive to Deductive: LLMs-Based Qualitative Data Analysis in Requirements Engineering
by: Shah, Syed Tauhid Ullah, et al.
Published: (2025)

The Software Engineering Simulations Lab: Agentic AI for RE Quality Simulations
by: Femmer, Henning, et al.
Published: (2025)

Evaluating Non-English Developer Support in Machine Learning for Software Engineering
by: Katzy, Jonathan, et al.
Published: (2026)

Runtime Verification and Field-based Testing for ROS-based Robotic Systems
by: Caldas, Ricardo, et al.
Published: (2024)

An Empirical Study on Challenges for LLM Application Developers
by: Chen, Xiang, et al.
Published: (2024)

Never Come Up Empty: Adaptive HyDE Retrieval for Improving LLM Developer Support
by: Lei, Fangjian, et al.
Published: (2025)