أرسل هذا في رسالة قصيرة: Safety verification for distributed parameter systems using barrier functionals