Formal verification is the process of mathematically proving that a system satisfies specified correctness properties. It is used in safety-critical and security-sensitive systems to eliminate entire classes of errors. Formal methods provide guarantees beyond testing alone. Example: Verifying a cryptographic protocol using formal logic.
