証明スコアは、バグの無いソフトウェアを開発するための技術の一つとして注目されている技術過去数十年に渡り研究されてきた証明スコアによる形式検証の概観をまとめた証明スコアの弱点及び克服方法を示すとともに、より多くの研究者に普及させるための改善案の提案...