1. Wooldridge, M.J.: An introduction to Multiagent systems, 2nd edn., p. xi. John Wiley, Chichester (2002)
2. Sanghavi, A.: What is formal verification? EE Times_Asia (2010)
3. Briola, D., Mascardi, V., Ancona, D.: Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog. In: Proceeding of the 29th Italian Conference on Computational Logic, Torino, pp. 319–323 (2014)
4. Liu, Y.: Design and implementation of a Pomset automaton based runtime verifier for distributed Jade programs. Dissertation, Concordia University (2008)
5. Lecture Notes in Computer Science;D. Pradubsuwun,2004