2. What are formal methods? Formal methods are a mathematically based techniques and tools for the specification, design and verification of software systems .
3. Formal methods can be useful in : 1-Articulating, and representing requirements . 2-Specifying software : developing a precise statement of what the software is to do . 3-Software design . Data refinement involves state machine specification, abstraction functions, and simulation proofs .
4.
5. The overall effect of the use of formal techniques on time, cost ,and quality :
![[object Object],[object Object],[object Object],[object Object],[object Object]](https://image.slidesharecdn.com/formalmethods-12529293400723-phpapp02/85/Formal-Methods-1-320.jpg)
