Skip to main content

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.