pith. sign in

arxiv: 1411.3792 · v1 · pith:TKVLJDSInew · submitted 2014-11-14 · 💻 cs.AI · cs.MA· cs.SE

An Approach to Model Checking of Multi-agent Data Analysis

Natalia Garanina (A.P. Ershov Institute of Informatics Systems , Novosibirsk , Russia) , Eugene Bodin (A.P. Ershov Institute of Informatics Systems , Elena Sidorova (A.P. Ershov Institute of Informatics Systems This is my paper
classification 💻 cs.AI cs.MAcs.SE
keywords modelmulti-agentanalysisdataapproachcheckingspinsystem
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.