Text this: Verification of a mathematical model of a splicing system