Verifying Multi-Agent Knowledge-Based Systems using COVERAGE

Contents

Anomaly detection, as performed by the COVER tool, has proven to be a useful method for verification of knowledge-based systems. The increasing development of distributed knowledge-based systems based upon the multi-agent architecture demands techniques for the verification of these systems. This paper describes the COVERAGE too1 -- an extension of COVER designed to perform anomaly detection on multi-agent systems. The paper includes an example of a multiagent system verified using COVERAGE.