Work

An Approach to Model Checking of Multi-agent Data Analysis

Year: 2014

Type: article

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.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.168.3

Authors: Natalia Garanina, Eugene Bodin, Elena Sidorova

Institution: A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funder: Russian Foundation for Basic Research

Award: G3597229741