JAIST(北陸先端科学技術大学院大学)は、大規模システムの動作確認において、検証作業を細分化することで効率化・高速化を実現する新しい手法を開発した。