Abstract: In this paper,the theory of formal verification is discussed and a survey on various methods and systems of formal verification and some important applications are given. The current trends of formal verification are also discussed.