B2000++ Examples and Verification