| Automaton Type: Nondeterministic Büchi | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| #1 | ID: 3149 | Author: GOAL | #2 | ID: 3148 | Author: GOAL | #3 | ID: 3147 | Author: GOAL | |||
| St: 3 | Tr: 19 | Date: 2016-06-06 16:15:46 | St: 3 | Tr: 19 | Date: 2016-06-06 16:15:44 | St: 3 | Tr: 19 | Date: 2016-06-06 16:15:42 | |||
| Description: | Description: | Description: | |||||||||
| Download: GFF Promela Add to Cart | Download: GFF Promela Add to Cart | Download: GFF Promela Add to Cart | |||||||||
|
Acceptance condition: s0, s2 |
Acceptance condition: s0, s1 |
Acceptance condition: s0, s2 |
|||||||||
|
|
|
|||||||||