Formal verification aims to prove correctness of systems mathematically, rather than relying on testing alone.

Testing can only show the presence of bugs, not their absence. Formal methods provide a way to give guarantees about properties of interest—safety, liveness, or functional correctness. This note is a placeholder; add your own content here.