發送短信 : Verification of a mathematical model of a splicing system