KnowraFormal verificationLinked fromLinked fromThe 26 pages that link to Formal verification, each with the reason it gives.All 26Broader topic 2Related 18Narrower topic 5Compared with 1Type theoryNarrower topic: Type-theoretic proof assistants provide one route to machine-checked verification.Foundations of mathematicsNarrower topic: Foundational logic and proof checking support rigorous verification of software and hardware.Program verificationNarrower topic: Program verification is the software-focused application of this broader practice.ConstructivismNarrower topic: Constructive proofs support machine-checkable guarantees and, in some settings, executable implementations.Tony HoareNarrower topic: Hoare’s assertion-based reasoning became a foundation for proving program correctness.