Model Checking Temporal Logic Formulas Using Sticker Automata

Figure 19

Checking for : the experimental results on base pairing and hybridization.

(a) Molecular concentrations

(b) Location and rate of pairing