Now showing items 1-1 of 1
An Interactive Theorem Prover for First-Order Dynamic Logic
(Brock University, 2012-10-11)
Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be ...