Tekstiviesti: The Application of Formal Methods