Slide 1 Convolutional Code Based Concurrent Error Detection in Finite State Machines Konstantinos N. Rokas Advisor: Prof. Yiorgos Makris Slide 2 2 Finite State Machine Model…