Modelling And Verification For Dna Nanotechnology