この資料をSMS送信: Safety verification for distributed parameter systems using barrier functionals