regulatory state machine

規制状態機械

Regulatory Compliance Protocol (RCP)のアクションセマンティクスを形式的に検証するために使用される状態機械モデル。Isabelle/HOLで機械的にチェックされ、規制アクション間の有効な状態遷移と、CONFISCATED状態の特性（終端性、普遍的到達性）を証明する。

関連用語

• Regulatory Compliance Protocol
• action taxonomy

元の表記（英語）

(なし)