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