Correctness and security

How the claims are checked, and by what.

• RFC compliance
• Standards conformance audit
• Standards and specifications
• Interop harness matrix
• Security documentation
• Secure boot
• Pentest
• CodeQL static analysis
• SonarQube / SonarCloud analysis