Validation Techniques for Object-Oriented Proof Outlines door C. Pierik