+**Program Verification** is the act of proving that a computer program satisfies its intended specification. Through rigorous logical and mathematical analysis, it aims to guarantee correctness and eliminate defects, moving beyond simple [Software Testing](/wiki/software_testing). This discipline often employs [Formal Methods](/wiki/formal_methods) to mathematically model system behavior and verify properties.
+## See also
+- [Logic](/wiki/logic)
+- [Software Engineering](/wiki/software_engineering)
+- [Compiler](/wiki/compiler)
... 1 more lines