Add to ORKGAbstract This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-based agent-oriented programming language AgentSpeak into either Promela or Java, and then use the associated Spin and JPF model checkers to verify the resulting systems. We also describe the simplified BDI logical language that is used to write the properties we want the systems to satisfy. The approach is illustrated by means of a simple case study. Keywords Agent-oriented programming · AgentSpeak · Model checking · Spin · JPF 1
In this paper we address the challenges associated with the verification of correctness of communic...
Programming languages designed specifically for multi-agent systems represent a new programming para...
Model checking is a very successful technique which has been applied in the design and verificati...
This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We...
In this paper, we show that the flexible model-checking of multi-agent systems, implemented using ag...
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L)...
The paper presents an approach to verification of a multi-agent data analysis algorithm. We base cor...
We present MABLE, a fully implemented programming language for multiagent systems, which is intended...
Abstract. Model checking agent programs is a challenge and it is still a question which approaches c...
Agent-Oriented Programming (AOP) is a relatively new paradigm used for de-veloping multi-agent syste...
This thesis presents a novel approach to model checking of agent programs written in an agent progra...
Abstract. As a result of the increasingly predominance of agent technology, there has been a lot of ...
During requirement specification process of software development activities, many existing systems o...
We present a new approach to verifying heterogeneous multi-agent programs — multi-agent systems in w...
Model checking is a very successful technique which has been applied in the design and verification ...
In this paper we address the challenges associated with the verification of correctness of communic...
Programming languages designed specifically for multi-agent systems represent a new programming para...
Model checking is a very successful technique which has been applied in the design and verificati...
This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We...
In this paper, we show that the flexible model-checking of multi-agent systems, implemented using ag...
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L)...
The paper presents an approach to verification of a multi-agent data analysis algorithm. We base cor...
We present MABLE, a fully implemented programming language for multiagent systems, which is intended...
Abstract. Model checking agent programs is a challenge and it is still a question which approaches c...
Agent-Oriented Programming (AOP) is a relatively new paradigm used for de-veloping multi-agent syste...
This thesis presents a novel approach to model checking of agent programs written in an agent progra...
Abstract. As a result of the increasingly predominance of agent technology, there has been a lot of ...
During requirement specification process of software development activities, many existing systems o...
We present a new approach to verifying heterogeneous multi-agent programs — multi-agent systems in w...
Model checking is a very successful technique which has been applied in the design and verification ...
In this paper we address the challenges associated with the verification of correctness of communic...
Programming languages designed specifically for multi-agent systems represent a new programming para...
Model checking is a very successful technique which has been applied in the design and verificati...