Verification Of Design Patterns