Java is Among the most flexible languages. The scope of the language transcends platforms and application modes.This course introduces the idea and exercise of formal approaches for the look and analysis of concurrent and embedded programs. The emphasis is on the fundamental rational and automata-theoretic principles, the algorithmic remedies, and