- ある瞬間にシステムが利用可能である確率 - 一般的に, [[Liveness]] propertyとされる