Text this: Simulation and verification of electronic and biological systems