12月 19 2024 0 Rango: ソフトウェアの未来を変える自動証明ツール 投稿者: ユウ 解説 ねえ、トモヤ！この「Rango」っていう論文、面白そうだね！内容教えてくれない？ もちろん。Rangoは、ソフトウェアの自動証明を行うツールなんだ。特に、Coqという証明支援ツールを使って、高品質なソフトウェアを作…
4月 16 2024 0 ソフトウェア検証におけるLLMの活用について 投稿者: ユウ 解説 ねえ智也くん、この論文のタイトル見て興味が湧いたんだけど、内容を教えてくれる？ もちろん、亜美。この論文は、大規模言語モデルを使ったソフトウェア検証の方法についての研究だよ。具体的には、様々なソフトウェアエンジニア…