Model Checking Temporal Logic Formulas Using Sticker Automata

Figure 13

Checking for : the groups of subexperimental results on base pairing and hybridization.

(a) Group 1: molecular concentrations

(b) Group 1: location and rate of pairing

(c) Group 2: location and rate of pairing

(d) Group 3: location and rate of pairing

(e) Group 4: location and rate of pairing

(f) Group 5: location and rate of pairing

(g) Group 6: location and rate of pairing

(h) Group 7: location and rate of pairing

(i) Group 8: location and rate of pairing

(j) Group 9: location and rate of pairing

(k) Group 10: location and rate of pairing