Projects Tagged sel4: seL4 Microkernel Projects for Formal Verification and High-Assurance, Safety-Critical Systems
Discover projects tagged sel4 — a curated list of projects that use the seL4 microkernel for formally verified, high-assurance embedded, safety-critical, and security-focused systems. Explore seL4 microkernel formal verification projects, separation-kernel implementations, seL4-based RTOS integrations, and industrial deployments with long-tail insights into verification methods, supported architectures, licensing, and runtime performance trade-offs. Use the filtering UI to narrow results by verification level (proof-assisted vs. model-checked), programming language, target platform, ecosystem, and license to find projects for audit, contribution, or adoption. Start exploring projects tagged sel4 to compare technical approaches, evaluate maturity, clone repositories, review formal proofs, or contact maintainers to accelerate secure system development.
