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.
Përdorimi i metodave formale për dizajnin softuerik dhe hardware është i motivuar nga pritshmëria që, si në disiplina të tjera inxhinierike, kryerja e analizave adekuate matematikore mund të kontribuojë në besueshmërinë dhe qëndrueshmërinë e dizajnit.