An Approach to Model Checking of Multi-agent Data Analysis
Artificial Intelligence
2014-11-17 v1 Multiagent Systems
Software Engineering
Abstract
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 verification we use model checking tool SPIN. Protocols of agents are written in Promela language and properties of the multi-agent data analysis system are expressed in logic LTL. We run several experiments with SPIN and the model.
Keywords
Cite
@article{arxiv.1411.3792,
title = {An Approach to Model Checking of Multi-agent Data Analysis},
author = {Natalia Garanina and Eugene Bodin and Elena Sidorova},
journal= {arXiv preprint arXiv:1411.3792},
year = {2014}
}
Comments
In Proceedings MOD* 2014, arXiv:1411.3453