Text this: Verification of functional models of chemical manufacturing