15. Advantages of Formal
Method
Formal method will ensure that the customer gets what
they want.
* Formal method helps protect the programmer from
requirement change from customer.
* Formal method find defects in early stages of
development process.
16. * It helps software industry to create better
software and ensure high quality of software .
*Automated checking of certain properties.
* Evalution of design alternative without
expensive prototyping.
17. * Preparations of formal method can take very
long time.
* It may be difficult to take place change if once
software design and testing phase complete.
* It will make development process or
development of any application very lenghty.
Disadvantages of
Formal method
18. * Formal method require extra traning of
workers.
* It only focus on function and data. Timing ,
Control and behavioral are make difficult to
represent.