[seL4 Announce] The seL4 Foundation welcomes new member Proofcraft

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.

We are very pleased to welcome Proofcraft to the seL4 Foundation!

Gernot