SMS dit: Introduction to the formal method