Verification techniques for Conceptual Work Products