List overview
Download

Announce October 2021

announce@sel4.systems

1 participants
1 discussions

Start a nNew thread

Interim endorsement for Proofcraft as a trusted service provider
by Announcements about seL4 -- low volume list 14 Oct '21

14 Oct '21

Dear seL4 Community, On behalf of the seL4 Foundation I’m pleased to announce that we have awarded interim endorsement to Proofcraft for providing commercial support, verification projects, training and consulting on formal verification of seL4 and seL4-based systems. Proofcraft is founded by the verification leaders of seL4 and has unrivalled expertise in this space. See https://sel4.systems/Foundation/Services/ for details. Gernot

1 0