EntityQ1375924· pop 18· linked from 76 articlesHoare logicSign in to saveformal system with a set of logical rules for reasoning rigorously about the correctness of computer programsConnectionscorrectnessEntityoperational semanticsEntityassertionEntitydynamic program analysisEntityIsabelleEntityInternational Standard Book NumberEntityalgorithmEntityUniversity of OxfordEntityintegerEntitycomputer programmingEntityaxiomEntityLomonosov Moscow State UniversityEntitydigital object identifierEntitymathematical logicEntityEdsger W. DijkstraEntitydata structureEntityQ364EntityAndrey KolmogorovEntityTuring machineEntityTuring AwardEntityCategories1969 in computingProgram logicStatic program analysisTony Hoare