Some theoretical aspects of verification (with a focus on bisimilarity)

Finite automata - closure properties
b
b
1
1, A
a
a
2
b
b
b
A
a
a
B
2, B 1, B 1, C
2, C 2, A 2, D
1, D
Petr Jančar (TU Ostrava) <strong>Some</strong> <strong>aspects</strong> b <strong>of</strong> <strong>verification</strong>
b
b
C
a
a,b
D
Kolloquium Jena, 14 May 2007 13 /
89