情報処理学会 第81回全国大会講演要旨

停止しないプログラムはセキュリティなどの問題の原因になり，停止性を検証することは重要な研究課題である．プログラムの停止性を判定する方法の一つに，ループまたは再帰ごとに単調減少し，ある一定値以下にはならないという性質を持つランキング関数を発見する手法が存在する．我々はランキング関数の推定方法を改善するため，回帰推定を取り入れた検証手法を考え，実際に検証できることを評価してきた．そこで，本研究では停止性を判定するツールを作成した．これにより，プログラムの入力により自動的に停止性を検証することができ，ランキング関数の推定方法を置き換えることによって改善することも可能になると考えられる．