1 0 relational coarsest partition problems rcpps play a vital role in verifying concurrent systems