Text this: Verifying concurrent processes using temporal logic