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
Фото: Алексей Даничев / РИА Новости
，推荐阅读WhatsApp Web 網頁版登入获取更多信息
Стало известно о расколе внутри руководства Ирана после смерти Хаменеи08:22
但目前時機仍不明朗，因為區內大部分空域仍處於關閉狀態。