Now showing items 1-1 of 1

  • An Interactive Theorem Prover for First-Order Dynamic Logic 

    Das, Tuhin Kanti (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 ...