Example Finite-State Machinewith Fault ?
in
ps(3)'
ps(1)'
ps(2)
ps(2)'
in'
ps(1)
ns(1)
ns(2)
ns(3)
out
? stuck-at-1
Previous slide
Next slide
Back to first slide
View graphic version