Seol an Taifead seo mar Ríomhphost: State of the Art in the Research of Formal Verification