Research Article
Model Checking Temporal Logic Formulas Using Sticker Automata
Table 7
The runs of the system M1.
| Path | DNA code of the path or sequence of nodes (atomic propositions) crossed by the path |
| Code of path 1 | GCCA GAATTGCAAGGC AGC GAATTGCAAGGC GAATTGCAAGGC CCC GAATTGCAAGGC CGTC | Sequence of nodes crossed by path 1 | | Code of path | GCCA GAATTGCAAGGC (AGC GAATTGCAAGGC GAATTGCAAGGC)k CCC GAATTGCAAGGC CGTC | Sequence of nodes crossed by path | |
|
|