SMAの検証

合意検証

エージェントが潜在的な障害にもかかわらず、値または共通の決定について合意に達することを形式的に検証すること。一貫性と信頼性を必要とする重要な分散システムにとって不可欠。

← 戻る