The ability to demonstrate through rigorous, often mathematical, means that a piece of software meets specified quality requirements.


Provability aims to formally prove the correctness of software, rather than inferring quality from testing alone. It is based on Formal Methods, which are a set of techniques based on mathematics and logic used to specify, design, and verify software and hardware systems.

Source: Galois, “Formal Methods”