研究

研究分野

私たちは、ディペンダブルコンピューティングおよびソフトウェア工学の分野に貢献するいくつかの研究分野に取り組んでいます。 研究分野の例としては、以下のものが挙げられます（これらに限られるものではありません）。

ソフトウェアテストと検証

• ソフトウェアシステムをテストするための方法論およびツールの開発。
• モデル検査技術を適用したソフトウェアの正当性の検証。
• テストカバレッジと効率を向上させるためのLLMを用いたテストケース生成。

信頼性評価

• 新しいアルゴリズムによる確率的フォールトツリー解析のスケーリング。
• 大規模かつ複雑なシステムを効率的に扱うための信頼性評価の並列化。

その他

• 量子プログラムのテスト。
• スマートコントラクトの品質保証。