Stav dette: Introduction to the formal method