Compliance verification of agent interaction: a logic-based software tool