Verification and Compliance Testing

This publication has 8 references indexed in Scilit:

• Guaranteeing Properties for E-commerce Systems
  Published by Springer Nature ,2002
• Verifiable semantics for agent communication languages
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Semantic Issues in the Verification of Agent Communication Languages
  Autonomous Agents and Multi-Agent Systems, 2000
• Some Remarks on the Semantics of FIPA's Agent Communication Language
  Autonomous Agents and Multi-Agent Systems, 1999
• Artificial Intelligence Today
  Published by Springer Nature ,1999
• Verifying clocked transition systems
  Published by Springer Nature ,1996
• Temporal Verification of Reactive Systems
  Published by Springer Nature ,1995
• A semantics approach for KQML---a general purpose communication language for software agents
  Published by Association for Computing Machinery (ACM) ,1994