Category
page 1Program logic
Hoare logic
formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs
predicate transformer semantics
reformulation of Floyd-Hoare logic
dynamic logic
extension of modal logic