Hoare logic

formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs

en-US/hoʊɹ ˈlɑd͡ʒɪk/

Categories:

formal system