論文要約 大規模コードの非終端性検証 紹介論文今回紹介する論文はNon-Termination Proving: 100 Million LoC and Beyondという論文です。 この論文を一言でまとめるとPulse∞ツールを用いて、1億行を超えるコードベースにおける非終端... 2025.09.08 論文要約IT・プログラミング