Return to Article Details Verification of JADE Agents Using ATL Model Checking Download Download PDF