Text this: Modeling and verification of parallel processes