Research Article
Model Checking Temporal Logic Formulas Using Sticker Automata
Table 10
Checking for φ2 and φ3: the designed encoding sequence.
| Code | 5′ CGCTCGAATCGGAATGGATCGAATCGGAATGATACGAATCGGAATGGAACGAATCGGAATGTTCCGAATCGG | AATGTATCGAATCGGAATGTGACGAATCGGAATGCGGC 3′ | WC | 3′ GCGAGCTTAGCCTTACCTAGCTTAGCCTTACTATGCTTAGCCTTACCTTGCTTAGCCTTACAAGGCTTAGCCTT | ACATAGCTTAGCCTTACACTGCTTAGCCTTACGCCG 5′ |
|
|