The Execution Integrity Model and the Application-Layer Kernel: a framework for runtime system architecture with TLA+ verification of native-ownership invariants.
formal-verification security-architecture tla-plus systems-architecture runtime-systems native-ownership execution-integrity-model application-layer-kernel
-
Updated
Apr 17, 2026