有界モデル検査『CBMC』のGUI

有界モデル検査のツールであるCBMCは,コードを解析する際にとても有用です。

しかし,オリジナルのCBMCはCUIベースであり,かつ,オプションスイッチが多いためにやや利便性に難があります。

そのため,CBMCをGUIを通じて;

• 「解析対象のコードの設定」
• 「オプション設定」
• 「解析結果の保存」
• 「解析結果の表示」
• 「解析作業に必要な各種設定」
• など

GUIを通じてできるようにします。