安全性プロパティ(Safety Property)とは、リアクティブシステムの持つ性質の1つで、都合の悪い状態に決して到達しないという性質のことを言います。化学プラントのプロセス制御を例に挙げると、"停止ボタン(Stop)が押されたなら、全ての制御バルブは閉じなくてはならない"という性質は、安全性プロパティになります。