پژوهش
شرکت Google DeepMind میگوید چارچوب AlphaProof Code ویژگیهای کلیدی کد پروتکل Signal را بهصورت صوری راستیآزمایی کرده است
در دهم نوامبر سال دوهزار و بیستوشش، پژوهشگران Google DeepMind به نامهای Pushmeet Kohli و Swarat Chaudhuri گفتند چارچوب عاملی راستیآزمایی صوری به نام AlphaProof Code کمک کرد ویژگیهای امنیتی کلیدی کد ترجمهشده پشت پروت…