Parameterized verification and model checking for distributed broadcast protocols