Cover Image

Agentic Model Checking

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sun, Youcheng, Liu, Jiawen, Kroening, Daniel, Xue, Jason
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LLM-Driven Kernel Evolution: Automating Driver Updates in Linux
by: Kharlamova, Arina, et al.
Published: (2025)

Quantifying the benefits of code hints for refactoring deprecated Java APIs
by: David, Cristina, et al.
Published: (2024)

ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation
by: Zhu, Taohong, et al.
Published: (2025)

Scalable, Validated Code Translation of Entire Projects using Large Language Models
by: Zhang, Hanliang, et al.
Published: (2024)

Towards Large Language Model Guided Kernel Direct Fuzzing
by: Li, Xie, et al.
Published: (2025)

Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models
by: Koh, Daniel, et al.
Published: (2025)

ReCodeAgent: A Multi-Agent Workflow for Language-agnostic Translation and Validation of Large-scale Repositories
by: Ibrahimzada, Ali Reza, et al.
Published: (2026)

PAT-Agent: Autoformalization for Model Checking
by: Zuo, Xinyue, et al.
Published: (2025)

VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
by: Yang, Aidan Z. H., et al.
Published: (2024)

Specification Vibing for Automated Program Repair
by: Zhu, Taohong, et al.
Published: (2026)

Model-Checking the Implementation of Consent
by: Pardo, Raúl, et al.
Published: (2024)

ESBMC-Python: A Bounded Model Checker for Python Programs
by: Farias, Bruno, et al.
Published: (2024)

QualityFlow: An Agentic Workflow for Program Synthesis Controlled by LLM Quality Checks
by: Hu, Yaojie, et al.
Published: (2025)

MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair
by: Ibrahimzada, Ali Reza, et al.
Published: (2025)

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version)
by: Arquint, Linard, et al.
Published: (2025)

Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
by: Eniser, Hasan Ferit, et al.
Published: (2024)

SWE-Manager: Selecting and Synthesizing Golden Proposals Before Coding
by: Tan, Boyin, et al.
Published: (2026)

Systematic API Testing Through Model Checking and Executable Contracts
by: Ribeiro, Ana, et al.
Published: (2026)

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

Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models
by: Kräuter, Tim, et al.
Published: (2024)

Hypergraph-Guided Regex Filter Synthesis for Event-Based Anomaly Detection
by: Ferreira, Margarida, et al.
Published: (2025)

Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version)
by: Beyer, Dirk, et al.
Published: (2024)

Fault-Tolerant Design and Multi-Objective Model Checking for Real-Time Deep Reinforcement Learning Systems
by: Su, Guoxin, et al.
Published: (2026)

Understanding Open Source Contributor Profiles in Popular Machine Learning Libraries
by: Liu, Jiawen, et al.
Published: (2024)

LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation
by: Chen, Boqi, et al.
Published: (2025)

Agentic Pipelines in Embedded Software Engineering: Emerging Practices and Challenges
by: Sun, Simin, et al.
Published: (2026)

A Task Taxonomy for Conformance Checking
by: Rehse, Jana-Rebecca, et al.
Published: (2025)

A MAPE-K-Based Method for Architectural Conformance Checking in Self-Adaptive Systems
by: Martín, Daniel San, et al.
Published: (2024)

WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+
by: Läufer, Konstantin, et al.
Published: (2024)

Validated Code Translation for Projects with External Libraries
by: Zhang, Hanliang, et al.
Published: (2026)

OSM: Leveraging Model Checking for Observing Dynamic 1 behaviors in Aspect-Oriented Applications
by: AlSobeh, Anas
Published: (2024)

AgenticAKM : Enroute to Agentic Architecture Knowledge Management
by: Dhar, Rudra, et al.
Published: (2026)

Enhancing COBOL Code Explanations: A Multi-Agents Approach Using Large Language Models
by: Lei, Fangjian, et al.
Published: (2025)

CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems
by: Harie, Yojiro, et al.
Published: (2024)

Lemma Discovery in Agentic Program Verification
by: Zhao, Huan, et al.
Published: (2026)

Analyzing and Debugging Normative Requirements via Satisfiability Checking
by: Feng, Nick, et al.
Published: (2024)

Beyond Accuracy: Behavioral Dynamics of Agentic Multi-Hunk Repair
by: Nashid, Noor, et al.
Published: (2025)

Hallucination Inspector: A Fact-Checking Judge for API Migration
by: Tileria, Marcos, et al.
Published: (2026)

Agentic Services Computing
by: Deng, Shuiguang, et al.
Published: (2025)

Towards Modeling Human-Agentic Collaborative Workflows: A BPMN Extension
by: Ait, Adem, et al.
Published: (2024)