The UV Method
(UV part)
a/1,reset {UIO(1))
a/1,a/0,/a/1,reset {UIO(2))
b/1,b/1,a/1,reset {UIO(3))
(~UV part)
a/1,a/0,r/- {Check state 1 has no UIO(2)}
b1,a/0,r/- {Check state 1 has no UIO(3)}
a/1,a/0,r/- {Check state 2 has no UIO(1)}
a/1,b/1,a/0,r/- {Check state 2 has no UIO(3)}
a/1,b/1,a/0,r/- {Check state 3 has no UIO(1)}
a/1,b/1,a/0,a/0,r/- {Check state 3 has no UIO(2)}
(TT part)
a/1,a/0/a/1,reset {Check T6}
b/1,b,1,a/1,reset {Check T1}
a/1,b/1,b/1,a/1,reset {Check T3}
a/1,b/1,a/0,a/0,a/1,reset {Check T2}
b/1,a/0,a/0,a/1/,reset {Check T4}
b/1,a/0,a/0,a/1 {Check T5}