Anfonwch hwn fel neges destun: Safety verification for distributed parameter systems using barrier functionals