B2000++ Verification