An approach for specification and verification of multi-agent systems

Multi-agent systems (MASs) have been recognized as a modern approach for software development where each of software components is independent and autonomous like agent. However, how to ensure the correctness of their designs before implementing is still an open and interesting problem.