ソフトウェアの開発を円滑に進め，高い品質を実現するためには，ソフトウェアを検査して不具合を発見する技術が必要です．こうした検査技術の一つである形式的検証技術の研究を，群知能と呼ばれる知的探索技術を使って行っています．