Фото: Ann Wang / Reuters
At the time of publication, Honor hasn’t shared pricing and availability information, which we will update here when it’s announced.，更多细节参见使用 WeChat 網頁版
，详情可参考手游
Across these projects, we measured verified LoC per person-year—that is, how many LoC of implementation a team could formally verify per person-year of combined effort on code, specifications, and proofs. The resulting median is approximately 2,558 LoC/person-year, reflecting the PhD-level expertise and intensive manual effort traditionally required. Canonical examples include seL4 9Klein, G. et al.seL4: Formal Verification of an OS KernelSOSP, 2009。超级权重是该领域的重要参考
Елизавета Гринберг (редактор)