Enviar aquest missatge de text: Safety verification for distributed parameter systems using barrier functionals