RBPT Network Verification Algebra