An Approach to Model Checking of Multi-agent Data Analysis

Natalia Garanina, Eugene Bodin, Elena Sidorova

The paper presents an approach to verification of a multi-agent data analysis algorithm. We base correct simulation of the multi-agent system by a finite integer model. For verific…