Text this: Guaranteed Verification of Dynamic Systems