From Correctness to Consistency: Redefining Reliability for the Agentware Era

Xue Qin, Mauricio Gruppi

Keywords: Vibe Coding, LLM-assisted Development, Software Verification, Logic Consistency, Differential Logic Analysis

TL;DR: Gemini said This paper introduces Differential Logic Analysis (DLA), a framework shifting focus from elusive correctness to internal logic consistency, using formal inference to detect contradictions and "vibe-driven" drift in AI-assisted workflows.

Abstract: The rise of "vibe coding" has marginalized requirement analysis, allowing unverified "Make it Work" assumptions to accumulate into complex defects that evade standard testing. In the absence of a reliable ground truth oracle, we advocate a paradigm shift from correctness verification to logic consistency. We introduce Differential Logic Analysis (DLA), a framework that utilizes Logical Inference to detect internal contradictions across parallel and sequential development workflows. Preliminary simulations demonstrate that DLA successfully intercepts logic drift, such as contradictions and unspecified assumptions, and offers a new perspective on reliability assessment in the AI-assistant development era.

Revision Summary:

To address the comments from the reviewer.
The camera-ready version makes the following changes:
1. Add a new section of Discussion to discuss the Feasibility, Scalability, and future Automation of the framework
2. Revise the study setup to add the missing information.
3. Revise the Introduction to rephrase the "gap" in the state-of-the-art.

Email Sharing: We authorize the sharing of all author emails with Program Chairs.

Data Release: We authorize the release of our submission and author names to the public.

Paper Type: Short papers (i.e., vision, new ideas, and position papers). 2–4 pages

Reroute: true

Submission Number: 34