Equivalent
Complement
Classification
Temporal Hierarchy |
---|
Guarantee |
Spec Patterns |
---|
Unknown |
DBW-Recognizable |
---|
Yes |
Automaton Type: Nondeterministic Büchi | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 55 | Author: GOAL | #2 | ID: 154 | Author: GOAL | #3 | N/A | ||||
St: 4 | Tr: 16 | Date: 2010-01-12 00:00:00 | St: 6 | Tr: 32 | Date: 2010-01-12 00:00:00 | ||||||
Description: | Description: | ||||||||||
Download: GFF Promela Add to Cart | Download: GFF Promela Add to Cart | ||||||||||
Acceptance condition: {s2} |
Acceptance condition: {s1, s3} |
||||||||||
Automaton Type: Deterministic Büchi | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 2447 | Author: GOAL | #2 | N/A | #3 | N/A | |||||
St: 5 | Tr: 20 | Date: 2011-12-07 00:00:00 | |||||||||
Description: | |||||||||||
Download: GFF Promela Add to Cart | |||||||||||
Acceptance condition: {s0, s4} |
|||||||||||
Automaton Type: Nondeterministic Co-Büchi | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 2138 | Author: GOAL | #2 | ID: 2198 | Author: GOAL | #3 | N/A | ||||
St: 4 | Tr: 16 | Date: 2011-12-07 00:00:00 | St: 17 | Tr: 68 | Date: 2011-12-07 00:00:00 | ||||||
Description: | Description: | ||||||||||
Download: GFF Add to Cart | Download: GFF Add to Cart | ||||||||||
Acceptance condition: {s0, s1, s2} |
Acceptance condition: {s0, s2, s14, s16} |
||||||||||
Automaton Type: Deterministic Co-Büchi | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 2138 | Author: GOAL | #2 | ID: 2198 | Author: GOAL | #3 | N/A | ||||
St: 4 | Tr: 16 | Date: 2011-12-07 00:00:00 | St: 17 | Tr: 68 | Date: 2011-12-07 00:00:00 | ||||||
Description: | Description: | ||||||||||
Download: GFF Add to Cart | Download: GFF Add to Cart | ||||||||||
Acceptance condition: {s0, s1, s2} |
Acceptance condition: {s0, s2, s14, s16} |
||||||||||
Automaton Type: Nondeterministic Muller | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 784 | Author: GOAL | #2 | ID: 860 | Author: GOAL | #3 | N/A | ||||
St: 4 | Tr: 16 | Date: 2011-12-07 00:00:00 | St: 6 | Tr: 32 | Date: 2011-12-07 00:00:00 | ||||||
Description: | Description: | ||||||||||
Download: GFF Add to Cart | Download: GFF Add to Cart | ||||||||||
Acceptance condition: { {s2} } |
Acceptance condition: { {s2, s3} } |
||||||||||
Automaton Type: Nondeterministic Rabin | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 1106 | Author: GOAL | #2 | ID: 1182 | Author: GOAL | #3 | N/A | ||||
St: 4 | Tr: 16 | Date: 2011-12-07 00:00:00 | St: 6 | Tr: 32 | Date: 2011-12-07 00:00:00 | ||||||
Description: | Description: | ||||||||||
Download: GFF Add to Cart | Download: GFF Add to Cart | ||||||||||
Acceptance condition: { (∅, {s2}) } |
Acceptance condition: { (∅, {s1, s3}) } |
||||||||||
Automaton Type: Nondeterministic Streett | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 1431 | Author: GOAL | #2 | ID: 1507 | Author: GOAL | #3 | N/A | ||||
St: 4 | Tr: 16 | Date: 2011-12-07 00:00:00 | St: 6 | Tr: 32 | Date: 2011-12-07 00:00:00 | ||||||
Description: | Description: | ||||||||||
Download: GFF Add to Cart | Download: GFF Add to Cart | ||||||||||
Acceptance condition: { ({s2}, {s0, s1, s2, s3}) } |
Acceptance condition: { ({s1, s3}, {s0, s1, s2, s3, s4, s5}) } |
||||||||||
Automaton Type: Nondeterministic Parity | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 1756 | Author: GOAL | #2 | ID: 1832 | Author: GOAL | #3 | N/A | ||||
St: 4 | Tr: 16 | Date: 2011-12-07 00:00:00 | St: 6 | Tr: 32 | Date: 2011-12-07 00:00:00 | ||||||
Description: | Description: | ||||||||||
Download: GFF Add to Cart | Download: GFF Add to Cart | ||||||||||
Acceptance condition: 0: {s2}, 1: {s0, s1, s3} |
Acceptance condition: 0: {s1, s3}, 1: {s0, s2, s4, s5} |
||||||||||
Automaton Type: Deterministic Parity | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 2614 | Author: GOAL | #2 | ID: 2686 | Author: GOAL | #3 | N/A | ||||
St: 5 | Tr: 20 | Date: 2011-12-07 00:00:00 | St: 60 | Tr: 240 | Date: 2011-12-07 00:00:00 | ||||||
Description: | Description: | ||||||||||
Download: GFF Add to Cart | Download: GFF Add to Cart | ||||||||||
Acceptance condition: 0: {s0, s4}, 1: {s1, s2, s3} |
Acceptance condition: 0: {s0}, 1: {s9, s10, s11, s12, s27, s28, s34, s37, s38, s56, s57, s58, s59}, 2: {s13, s14, s17, s18, s20, s23, s24, s30, s31, s33, s39, s40, s41, s42, s45, s47, s48, s49}, 3: {s7, s21, s29, s50, s51}, 4: {s15, s16, s19, s25, s26, s32, s43, s44, s46}, 5: {s1, s2, s3, s4, s5, s6, s8, s22, s35, s36, s52, s53, s54, s55} |
||||||||||