Model Checking Temporal Logic Formulas Using Sticker Automata

Table 4

Checking for : the designed encoding sequence, where WC means Watson-Crick complementary strand of code.

Code	5′ GCCAGAATTGCAAGGCAGCGAATTGCAAGGCGCGGAATTGCAAGGCCCCGAATTGCAAGGCCGTCCGACGC 3′
WC	3′ CGGTCTTAACGTTCCGTCGCTTAACGTTCCGCGCCTTAACGTTCCGGGGCTTAACGTTCCGGCAGGCTGCG 5′