formell verifikasjon

AlphaProof Code verifiserer Signal helt ned i maskinkoden

AlphaProof Code har verifisert sentrale sikkerhetsegenskaper i Signals kompilerte kode med 6,5 millioner linjer Lean-bevis. Dette er hva som faktisk er bevist.