Analysis and Verification of Multiple-Agent Languages