Automata theory has come into prominence with a plethora of applications in fields ranging from verification to XML processing and file compression. This book covers a range of applications of automata theory. It deals with verification and model checking. It is suitable for software practitioners working in this area.