Automaton Type: Nondeterministic Büchi | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 2075 | Author: GOAL | #2 | ID: 2077 | Author: GOAL | #3 | ID: 2076 | Author: GOAL | |||
St: 5 | Tr: 11 | Date: 2011-12-07 00:00:00 | St: 5 | Tr: 11 | Date: 2011-12-07 00:00:00 | St: 14 | Tr: 41 | Date: 2011-12-07 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, s4} |
Acceptance condition: {s2, s3} |
Acceptance condition: {s1, s2, s3, s4, s5, s7} |
|||||||||
Automaton Type: Nondeterministic Muller | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 2078 | Author: GOAL | #2 | ID: 2086 | Author: GOAL | #3 | ID: 2082 | Author: GOAL | |||
St: 5 | Tr: 11 | Date: 2011-12-07 00:00:00 | St: 5 | Tr: 11 | Date: 2011-12-07 00:00:00 | St: 14 | Tr: 41 | 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}, {s2, s3}, {s4} } |
Acceptance condition: { {s2}, {s2, s4}, {s3} } |
Acceptance condition: { {s4, s8}, {s4, s6, s8}, {s4, s9}, {s4, s6, s9}, {s4, s8, s9}, {s4, s6, s8, s9}, {s2, s10}, {s7, s10}, {s2, s7, s10}, {s2, s11}, {s7, s11}, {s2, s7, s11}, {s2, s10, s11}, {s7, s10, s11}, {s2, s7, s10, s11} } |
|||||||||
Automaton Type: Nondeterministic Rabin | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 2079 | Author: GOAL | #2 | ID: 2087 | Author: GOAL | #3 | ID: 2083 | Author: GOAL | |||
St: 5 | Tr: 11 | Date: 2011-12-07 00:00:00 | St: 5 | Tr: 11 | Date: 2011-12-07 00:00:00 | St: 14 | Tr: 41 | 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, s4}) } |
Acceptance condition: { (∅, {s2, s3}) } |
Acceptance condition: { (∅, {s1, s2, s3, s4, s5, s7}) } |
|||||||||
Automaton Type: Nondeterministic Streett | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 2080 | Author: GOAL | #2 | ID: 2088 | Author: GOAL | #3 | ID: 2084 | Author: GOAL | |||
St: 5 | Tr: 11 | Date: 2011-12-07 00:00:00 | St: 5 | Tr: 11 | Date: 2011-12-07 00:00:00 | St: 14 | Tr: 41 | 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, s4}, {s0, s1, s2, s3, s4}) } |
Acceptance condition: { ({s2, s3}, {s0, s1, s2, s3, s4}) } |
Acceptance condition: { ({s1, s2, s3, s4, s5, s7}, {s0, s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13}) } |
|||||||||
Automaton Type: Nondeterministic Parity | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 2081 | Author: GOAL | #2 | ID: 2089 | Author: GOAL | #3 | ID: 2085 | Author: GOAL | |||
St: 5 | Tr: 11 | Date: 2011-12-07 00:00:00 | St: 5 | Tr: 11 | Date: 2011-12-07 00:00:00 | St: 14 | Tr: 41 | 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, s4}, 1: {s0, s1, s3} |
Acceptance condition: 0: {s2, s3}, 1: {s0, s1, s4} |
Acceptance condition: 0: {s1, s2, s3, s4, s5, s7}, 1: {s0, s6, s8, s9, s10, s11, s12, s13} |
|||||||||
Automaton Type: Deterministic Parity | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
#1 | ID: 2893 | Author: GOAL | #2 | ID: 2895 | Author: GOAL | #3 | ID: 2894 | Author: GOAL | |||
St: 21 | Tr: 84 | Date: 2011-12-07 00:00:00 | St: 21 | Tr: 84 | Date: 2011-12-07 00:00:00 | St: 92 | Tr: 368 | 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: {s14, s15, s18, s19}, 2: {s6, s8, s12, s16, s17, s20}, 3: {s7, s9}, 4: {s10, s13}, 5: {s1, s2, s3, s4, s5, s11} |
Acceptance condition: 0: {s0}, 1: {s14, s15, s18, s19}, 2: {s6, s8, s12, s16, s17, s20}, 3: {s7, s9}, 4: {s10, s13}, 5: {s1, s2, s3, s4, s5, s11} |
Acceptance condition: 0: {s0, s2, s4, s81, s83, s87}, 1: {s50, s51, s54, s55, s58, s59, s71}, 2: {s18, s20, s27, s31, s36, s40, s44, s56, s57, s62, s63, s67, s68, s72, s75, s76}, 3: {s17, s21, s22, s86, s88}, 4: {s23, s24, s32, s33, s35, s43, s61, s69, s70, s73, s74, s77, s90}, 5: {s19, s45, s46, s60, s64, s65, s89}, 6: {s34, s37, s38, s47, s66, s91}, 7: {s1, s3, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s25, s26, s28, s29, s30, s39, s41, s42, s48, s49, s52, s53, s78, s79, s80, s82, s84, s85} |
|||||||||