ある種のセキュリティの勉強を継続しているのですが、論文を調べているとこの辺の研究を実世界で活用しよう、という実証研究も見つかります。今回はこちらの論文： Formally verified software in the real worldCommunications of the ACM, Volume 61, Issu…