Symmetry and partial order reduction techniques in model checking Rebeca