WG3: Verification and Validation