SMAの検証

SMAの形式的検証

マルチエージェントシステムが形式的仕様を満たすことを数学的に厳密に証明する手法の集合。これらの技術は、システムの展開前にグローバルな動作の正当性を保証する。

← 戻る