Automatizing parametric reasoning on distributed concurrent systems