1.Using the automaton formalism,we will present solution techniques for three kinds of verification problems.those of safety(avoidance of illegal behavior),liveness(avoidance of deadlock and livelock),and diagnosis(ability to detect occurrences of unobservable events).
2.One of the formal ways to study the logical behavior of DES is based on the theories of languages and automata.
next-P77