Published July 9, 2026
| Version 2.0
Preprint
Open
CCS: A Formal Framework for Runtime Verification of Agentic AI Systems
Description
Updated version with expanded methodology, empirical validation across 50,000 production traces, and integration evidence from major agent frameworks (AutoGen, CrewAI, LangGraph). Includes formal proof of Required(τ) ⊆ Supported(τ) conformance criterion and performance benchmarks showing 1.47μs verification overhead.
Keywords: MCP, LLM Agent, Conformance Validation, Protocol Verification, Formal Verification, Agent Runtime Governance
Repository: github.com/Correctover
Website: correctover.com
Files
CCS-Paper-Source-v2.zip
Files
(431.2 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:27155c77344fd529ae667aaab0109ba9
|
211.5 kB | Preview Download |
|
md5:0a40576e24bd015cc1738353d95aa11c
|
219.7 kB | Preview Download |
Additional details
Related works
- Is new version of
- 10.5281/zenodo.21234580 (DOI)