Some theoretical aspects of verification (with a focus on bisimilarity)
Some theoretical aspects of verification (with a focus on bisimilarity)
Some theoretical aspects of verification (with a focus on bisimilarity)
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
(N<strong>on</strong>deterministic) finite automata; determinizati<strong>on</strong><br />
a,b<br />
1<br />
1<br />
a<br />
b<br />
b<br />
2<br />
1, 2<br />
a,b<br />
a<br />
b<br />
3<br />
1, 3<br />
a,b<br />
4<br />
a<br />
1, 4<br />
1, 2, 4<br />
1, 2, 3 1, 3, 4<br />
Petr Jančar (TU Ostrava) <str<strong>on</strong>g>Some</str<strong>on</strong>g> <str<strong>on</strong>g>aspects</str<strong>on</strong>g> <str<strong>on</strong>g>of</str<strong>on</strong>g> <str<strong>on</strong>g>verificati<strong>on</strong></str<strong>on</strong>g><br />
1, 2, 3, 4<br />
b<br />
Kolloquium Jena, 14 May 2007 12 /<br />
89
Change language