Equivalent
Complement
Classification
Temporal Hierarchy |
---|
Persistence |
Spec Patterns |
---|
Unknown |
DBW-Recognizable |
---|
Unknown |
Automaton Type: Nondeterministic Büchi | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 667 | Author: GOAL | #2 | ID: 730 | Author: R.Ehlers / NBWMinimizer | #3 | ID: 621 | Author: GOAL | |||
St: 3 | Tr: 20 | Date: 2010-01-19 00:00:00 | St: 3 | Tr: 22 | Date: 2011-06-27 00:00:00 | St: 4 | Tr: 28 | Date: 2010-01-19 00:00:00 | |||
Description: | Description: | Description: | |||||||||
Download: GFF Promela Add to Cart | Download: GFF Promela Add to Cart | Download: GFF Promela Add to Cart | |||||||||
Acceptance condition: {s2} |
Acceptance condition: {s2} |
Acceptance condition: {s1, s2} |
|||||||||
Automaton Type: Nondeterministic Co-Büchi | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 2308 | Author: GOAL | #2 | ID: 2332 | Author: GOAL | #3 | ID: 2287 | Author: GOAL | |||
St: 4 | Tr: 32 | Date: 2011-12-07 00:00:00 | St: 4 | Tr: 32 | Date: 2011-12-07 00:00:00 | St: 11 | Tr: 88 | Date: 2011-12-07 00:00:00 | |||
Description: | Description: | Description: | |||||||||
Download: GFF Add to Cart | Download: GFF Add to Cart | Download: GFF Add to Cart | |||||||||
Acceptance condition: {s0, s1} |
Acceptance condition: {s0, s1} |
Acceptance condition: {s0, s2, s4, s6} |
|||||||||
Automaton Type: Deterministic Co-Büchi | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 2308 | Author: GOAL | #2 | ID: 2332 | Author: GOAL | #3 | ID: 2287 | Author: GOAL | |||
St: 4 | Tr: 32 | Date: 2011-12-07 00:00:00 | St: 4 | Tr: 32 | Date: 2011-12-07 00:00:00 | St: 11 | Tr: 88 | Date: 2011-12-07 00:00:00 | |||
Description: | Description: | Description: | |||||||||
Download: GFF Add to Cart | Download: GFF Add to Cart | Download: GFF Add to Cart | |||||||||
Acceptance condition: {s0, s1} |
Acceptance condition: {s0, s1} |
Acceptance condition: {s0, s2, s4, s6} |
|||||||||
Automaton Type: Nondeterministic Muller | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 1015 | Author: GOAL | #2 | ID: 1057 | Author: GOAL | #3 | ID: 993 | Author: GOAL | |||
St: 3 | Tr: 20 | Date: 2011-12-07 00:00:00 | St: 3 | Tr: 22 | Date: 2011-12-07 00:00:00 | St: 4 | Tr: 28 | Date: 2011-12-07 00:00:00 | |||
Description: | Description: | Description: | |||||||||
Download: GFF Add to Cart | Download: GFF Add to Cart | Download: GFF Add to Cart | |||||||||
Acceptance condition: { {s2} } |
Acceptance condition: { {s2} } |
Acceptance condition: { {s2} } |
|||||||||
Automaton Type: Nondeterministic Rabin | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 1340 | Author: GOAL | #2 | ID: 1382 | Author: GOAL | #3 | ID: 1315 | Author: GOAL | |||
St: 3 | Tr: 20 | Date: 2011-12-07 00:00:00 | St: 3 | Tr: 22 | Date: 2011-12-07 00:00:00 | St: 4 | Tr: 28 | Date: 2011-12-07 00:00:00 | |||
Description: | Description: | Description: | |||||||||
Download: GFF Add to Cart | Download: GFF Add to Cart | Download: GFF Add to Cart | |||||||||
Acceptance condition: { (∅, {s2}) } |
Acceptance condition: { (∅, {s2}) } |
Acceptance condition: { (∅, {s1, s2}) } |
|||||||||
Automaton Type: Nondeterministic Streett | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 1665 | Author: GOAL | #2 | ID: 1707 | Author: GOAL | #3 | ID: 1640 | Author: GOAL | |||
St: 3 | Tr: 20 | Date: 2011-12-07 00:00:00 | St: 3 | Tr: 22 | Date: 2011-12-07 00:00:00 | St: 4 | Tr: 28 | Date: 2011-12-07 00:00:00 | |||
Description: | Description: | Description: | |||||||||
Download: GFF Add to Cart | Download: GFF Add to Cart | Download: GFF Add to Cart | |||||||||
Acceptance condition: { ({s2}, {s0, s1, s2}) } |
Acceptance condition: { ({s2}, {s0, s1, s2}) } |
Acceptance condition: { ({s1, s2}, {s0, s1, s2, s3}) } |
|||||||||
Automaton Type: Nondeterministic Parity | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 1990 | Author: GOAL | #2 | ID: 2032 | Author: GOAL | #3 | ID: 1965 | Author: GOAL | |||
St: 3 | Tr: 20 | Date: 2011-12-07 00:00:00 | St: 3 | Tr: 22 | Date: 2011-12-07 00:00:00 | St: 4 | Tr: 28 | Date: 2011-12-07 00:00:00 | |||
Description: | Description: | Description: | |||||||||
Download: GFF Add to Cart | Download: GFF Add to Cart | Download: GFF Add to Cart | |||||||||
Acceptance condition: 0: {s2}, 1: {s0, s1} |
Acceptance condition: 0: {s2}, 1: {s0, s1} |
Acceptance condition: 0: {s1, s2}, 1: {s0, s3} |
|||||||||
Automaton Type: Deterministic Parity | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 2840 | Author: GOAL | #2 | ID: 2877 | Author: GOAL | #3 | ID: 2818 | Author: GOAL | |||
St: 9 | Tr: 72 | Date: 2011-12-07 00:00:00 | St: 9 | Tr: 72 | Date: 2011-12-07 00:00:00 | St: 17 | Tr: 136 | Date: 2011-12-07 00:00:00 | |||
Description: | Description: | Description: | |||||||||
Download: GFF Add to Cart | Download: GFF Add to Cart | Download: GFF Add to Cart | |||||||||
Acceptance condition: 0: {s0}, 1: {s5, s7}, 2: {s6, s8}, 3: {s1, s2, s3, s4} |
Acceptance condition: 0: {s0}, 1: {s5, s7}, 2: {s6, s8}, 3: {s1, s2, s3, s4} |
Acceptance condition: 0: {s0}, 1: {s3, s6, s12, s14}, 2: {s4, s7, s9, s13, s15, s16}, 3: {s10, s11}, 5: {s1, s2, s5, s8} |
|||||||||