Multiagent Systems Verification via Model Checking