KnowraHoare logicLinked fromLinked fromThe 12 pages that link to Hoare logic, each with the reason it gives.All 12Broader topic 2Related 10Formal verificationRelated: Hoare triples express program-correctness claims that verification can prove.Free variableRelated: Free variables in assertions can stand for program values or logical parameters.Universal quantificationRelated: Program specifications often quantify universally over states or inputs.Formal semanticsRelated: Its program-correctness claims rely on a semantics for commands and states.Structured programmingRelated: Its proofs benefit from the clear entry and exit points of structured constructs.Program verificationRelated: Hoare triples express the preconditions and postconditions that a program must satisfy.Conditional proofRelated: Program correctness proofs use conditional reasoning to connect preconditions with postconditions.Abstract data typeRelated: Operation contracts can use preconditions and postconditions to state required behavior.Formal methodsRelated: Its triples express and prove correctness claims about program fragments.Formal specificationRelated: Hoare triples specify what a program must establish when its assumptions hold.