⚠️ VeridianOS Kernel Documentation - This is low-level kernel code. All functions are unsafe unless explicitly marked otherwise. no_std

veridian_kernel/verification/
mod.rs

1//! Formal Verification Module
2//!
3//! Provides model-checking infrastructure and proof harnesses for verifying
4//! critical kernel invariants: boot chain integrity, IPC correctness,
5//! memory allocator safety, and capability system soundness.
6
7pub mod alloc_proofs;
8pub mod boot_chain;
9pub mod cap_proofs;
10pub mod ipc_proofs;