The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.
Употреба формалних метода за софтверски и хардверски дизајн је мотивисана очекивањем да, као и у другим инжењерским дисциплинама, обављање одговарајућих математичких анализа може допринети поузданости и робусности дизајна.