# Feedback-based Automated Verification in Vibe Coding of CAS Adaptation Built on Constraint Logic

arXiv: https://arxiv.org/abs/2602.18607 · HTML: https://mlsanity.com/paper/2602.18607/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- Builds on 9 of its 27 references that are in the map.
- First posted on arXiv 20 Feb 2026.

## Builds on (most cited first, 9 of 9)

- [AutoSafeCoder: A Multi-Agent Framework for Securing LLM Code Generation through Static Analysis and Fuzz Testing](https://mlsanity.com/paper/2409.10737/) (2024)
- [A Survey of Vibe Coding with Large Language Models](https://mlsanity.com/paper/2510.12399/) (2025)
- [RvLLM: LLM Runtime Verification with Domain Knowledge](https://mlsanity.com/paper/2505.18585/) (2025)
- [LLM Security Guard for Code](https://mlsanity.com/paper/2405.01103/) (2024)
- [Towards Formal Verification of LLM-Generated Code from Natural Language Prompts](https://mlsanity.com/paper/2507.13290/) (2025)
- [Exploring the Potential of Large Language Models in Self-adaptive Systems](https://mlsanity.com/paper/2401.07534/) (2024)
- [Reimagining Self-Adaptation in the Age of Large Language Models](https://mlsanity.com/paper/2404.09866/) (2024)
- [Leveraging LLMs for Dynamic IoT Systems Generation through Mixed-Initiative Interaction](https://mlsanity.com/paper/2502.00689/) (2025)
- [Overview of Logical Foundations of Cyber-Physical Systems](https://mlsanity.com/paper/1910.11232/) (2019)

## Built on by (most cited first, 1 of 1)

- [Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study](https://mlsanity.com/paper/2604.14867/) (2026)

## Abstract (arXiv)

In CAS adaptation, a challenge is to define the dynamic architecture of the system and changes in its behavior. Implementation-wise, this is projected into an adaptation mechanism, typically realized as an Adaptation Manager (AM). With the advances of generative LLMs, generating AM code based on system specification and desired AM behavior (partially in natural language) is a tempting opportunity. The recent introduction of vibe coding suggests a way to target the problem of the correctness of generated code by iterative testing and vibe coding feedback loops instead of direct code inspection. In this paper, we show that generating an AM via vibe coding feedback loops is a viable option when the verification of the generated AM is based on a very precise formulation of the functional requirements. We specify these as constraints in a novel temporal logic FCL that allows us to express the behavior of traces with much finer granularity than classical LTL enables. Furthermore, we show that by combining the adaptation and vibe coding feedback loops where the FCL constraints are evaluated for the current system state, we achieved good results in the experiments with generating AMs for two example systems from the CAS domain. Typically, just a few feedback loop iterations were necessary, each feeding the LLM with reports describing detailed violations of the constraints. This AM testing was combined with high run path coverage achieved by different initial settings.