Text this: Decomposing software verification into off-the-shelf components