Skip to main content

Advertisement

Table 2 Verification of property 1

From: Analysis and verification of the HMGB1 signaling pathway

Property 1: Pr≥ 0.9[Ft(G900(P 53 < 3.3 × 104))]
t (min) # of Samples # of Successes Result Time (s)
400 53 49 True 597.59
500 23 22 True 271.76
600 22 22 True 263.79
  1. Property 1 specifies that the number of p53 molecules will be less than a threshold value within t minutes, and it will always stay below this value during the next 900 minutes. The initial value of HMGB1 is 103.