Verification of data-aware commitment-based multiagent system