An Improvement on Faulty Final State Detection

In this project, we will carry out a research project on automata and finite state machines, which are used as formal notations to model the behavior of systems at an abstract level. Based on the analysis of these formal models, one can derive tests for the implementations of the systems. The work requires a basic understanding of automata theory, graph theory, and implementation of graph-theoretic algorithms.