Safety property とは

分散コンピューティングでは、安全性の性質上、分散システムや分散アルゴリズムでは、「何か悪いことは起こらない」ことが非公式に求められています。活性特性とは異なり、安全特性は分散システムの有限な実行によって侵害される可能性があります。データベースシステムでは、ヌルフィールドでデータを返さないという約束は、安全性の保証の一例です。すべての特性は、安全性と活性特性の交差として表現することができます。