Text this: Modelling and verification for DNA nanotechnology