Combine Model Checking and Runtime Verification in Multi-Agent Systems