Gravar-mail: State of the Art in the Research of Formal Verification