TLC

A developer has formalized an agent governance framework using TLA+ and model-checked its safety invariants. The framework, available in the MAREF repo, uses Gray Code state machines to ensure every t…

Researchers formalized and verified four concurrency anomalies in multi-agent LLM systems, establishing a machine-checked consistency hierarchy from L0 to L4. They implemented verified detectors and r…