Formal software verification is the application of formal proof to guarantee the correctness of software behaviour.
the cost of formal verification is not well understood due to the relatively low number of successful large-scale applications.