Interim endorsement for Proofcraft as a trusted service provider
14 Oct
2021
14 Oct
'21
12:10 p.m.
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
1165
Age (days ago)
1165
Last active (days ago)
0 comments
1 participants
participants (1)
-
Announcements about seL4 -- low volume list