B2000++ Verification and Examples