The seL4 Foundation thanks Proofcraft for becoming a Bronze sponsor of the seL4 Summit 2024.
Founded by the seL4 verification leaders, Proofcraft offers commercial support, verification projects, training and consulting on 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.
The seL4 Summit 2024 will take place in Sydney, the hometown of Proofcraft.
See here if you are interested in sponsoring the seL4 summit 2024.