Model Checking Temporal Logic Formulas Using Sticker Automata

Figure 27

Simulated experiments in molecular kinetics: complete double strands formed for checking .

(a) Molecular number changes: reactants and specific products

(b) Molecular number changes (0–2 seconds): nonspecific products

(c) Molecular number changes (0–200 seconds): nonspecific products

(d) Maximum molecular number of specific products