Запис е-пошти: La investigación en verificación formal- un estado del arte