When developing sophisticated multi-agent systems whose behaviors include collaboration, negotiation, and conflict resolution, analyzing and (empirically) verifying agent system behavior is a challenging task. To aid the developer in such tasks, this paper presents an approach that combines two software engineering tools 							
						
							
					 															
					Tibor Bosse, Dung N. Lam, K. Suzanne Barber