Text this: Analysis and Verification of Multiple-Agent Languages