CB-Ver is a modular verification framework for eventually-stable network control-plane properties that uses synthesized converges-before graphs, parallel SMT checks, Lean soundness proofs, and CHC-based interface synthesis.
Time, clocks, and the ordering of events in a distributed system
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
FORGE enforces security policies in agentic systems via Datalog over abstract predicates with an observability service and reference monitor that guarantees policy semantics when the environment contract holds.
citing papers explorer
-
CB-VER: A Stable Foundation for Modular Control Plane Verification
CB-Ver is a modular verification framework for eventually-stable network control-plane properties that uses synthesized converges-before graphs, parallel SMT checks, Lean soundness proofs, and CHC-based interface synthesis.
-
Formal Policy Enforcement for Real-World Agentic Systems
FORGE enforces security policies in agentic systems via Datalog over abstract predicates with an observability service and reference monitor that guarantees policy semantics when the environment contract holds.