שליחה במסרון: Introduction to the formal method