The seL4 Foundation thanks Proofcraft for becoming a Silver sponsor of the seL4 Summit 2025.
Founded by the seL4 verification leaders, Proofcraft offers commercial support and projects in formal verification in general, and involving seL4 specifically. By applying mathematical machine-checked software verification, Proofcraft increases critical software systems’ reliability, safety and security, for a verified future.
See here if you are interested in sponsoring the seL4 Summit 2025.
