In this talk, I will present joined work with Frank de Boer on the verification of Java Programs. After an introduction in the theory of verification for object-oriented programs, I will demonstrate a tool that supports the verification of Java programs.