Text this: Analyzing model checking approach for multi agent system verification