Automaton Type: Nondeterministic Büchi | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 3019 | Author: GOAL | #2 | ID: 2901 | Author: Chi-Shiang Liu | #3 | N/A | ||||
St: 4 | Tr: 7 | Date: 2012-06-04 17:00:00 | St: 4 | Tr: 32 | Date: 2012-05-18 15:00:00 | ||||||
Description: | Description: | ||||||||||
Download: GFF Promela Add to Cart | Download: GFF Promela Add to Cart | ||||||||||
Acceptance condition: s3 |
Acceptance condition: s2 |
||||||||||
Automaton Type: Deterministic Büchi | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 3019 | Author: GOAL | #2 | ID: 2901 | Author: Chi-Shiang Liu | #3 | N/A | ||||
St: 4 | Tr: 7 | Date: 2012-06-04 17:00:00 | St: 4 | Tr: 32 | Date: 2012-05-18 15:00:00 | ||||||
Description: | Description: | ||||||||||
Download: GFF Promela Add to Cart | Download: GFF Promela Add to Cart | ||||||||||
Acceptance condition: s3 |
Acceptance condition: s2 |
||||||||||