{Compliance Verification of Agent interaction: a Logic-Based Software Tool}