Hoare logic
nounEtymology Proposed in 1969 by the British computer scientist and logician Tony Hoare.
1
Computing, Computing theory, Engineering, Mathematics, Natural sciences, Physical sciences, Sciences A formal system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations.