Runtime Verification
-
Name: Runtime Verification
-
Status: alias of runtime-verification
-
Why this note is not separate: Runtime Verification is better kept as an entity note because the useful question is who stewards Kontrol, KEVM, the broader K-based verification stack, public report publication, and managed formal-verification workflow — not whether there is a standalone
Runtime Verification protocolboundary. -
Canonical note: runtime-verification
-
Last reviewed: 2026-08-09 UTC