Research Article
Model Checking Temporal Logic Formulas Using Sticker Automata
Table 15
The runs of the system M3.
| Path | DNA code of the path or sequence of nodes (atomic propositions) crossed by the path |
| Code of path 1 | CGCT CGAATCGGAATG TAT CGAATCGGAATG TGA CGAATCGGAATG CGGC | Sequence of nodes crossed by path 1 | | Code of path | CGCT CGAATCGGAATG (TAT CGAATCGGAATG TGA CGAATCGGAATG)k CGGC | Sequence of nodes crossed by path | |
|
|