STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Model checking
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
The cognitive agents specification language and verification environment for multiagent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Open protocol design for complex interactions in multi-agent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Skeleton-based agent development for electronic institutions
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Model checking multi-agent systems with MABLE
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Principles of component-based design of intelligent agents
Data & Knowledge Engineering
Verifying Compliance with Commitment Protocols
Autonomous Agents and Multi-Agent Systems
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Issues in Agent-Based Software Engineeing
CIA '97 Proceedings of the First International Workshop on Cooperative Information Agents
Methods for exploiting SAT solvers in unbounded model checking
MEMOCODE '03 Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design
Understanding Agent Systems
Compositional Verification of a Multi-Agent System for One-to-Many Negotiation
Applied Intelligence
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
Annals of Mathematics and Artificial Intelligence
Specifying and analyzing early requirements in Tropos
Requirements Engineering
Modelling, Control and Validation of Multi-Agent Plans in Dynamic Context
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Verification of Multiagent Systems via Unbounded Model Checking
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
State-Space Reduction Techniques in Agent Verification
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)
Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)
A CSP-Based Agent Modeling Framework for the Cougaar Agent-Based Architecture
ECBS '05 Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
Specifying and verifying multiagent systems using the cognitive agents specification language (casl)
Specifying and verifying multiagent systems using the cognitive agents specification language (casl)
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems
Specification and Verification of Dynamics in Cognitive Agent Models
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Toward verification of commitment protocols and their compositions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Formal driven prototyping approach for multiagent systems
International Journal of Agent-Oriented Software Engineering
ForMAAD: A formal method for agent-based application design
Web Intelligence and Agent Systems
A flexible framework for verifying agent programs
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
ACVisualizer: A visualization tool for APi-calculus
Multiagent and Grid Systems
Support for Analysis, Design, and Implementation Stages with MASDK
Agent-Oriented Software Engineering IX
Abstraction in model checking multi-agent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Conceptual Modeling: Foundations and Applications
Using CSP||B Components: Application to a Platoon of Vehicles
Formal Methods for Industrial Critical Systems
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
From SMART to agent systems development
Engineering Applications of Artificial Intelligence
A common semantic basis for BDI languages
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Specification and Verification of Multi-agent Systems
Specification and Verification of Multi-agent Systems
A survey on the implementation of agent oriented specifications
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Correctness properties for multiagent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Implementing temporal logics: tools for execution and proof
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Specification and verification of agent interaction using abductive reasoning
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
| Hi-index | 0.00 |
There is a growing interest among agent and multiagent system developers for formal methods. Formal methods are means to define and realize correct specifications of multiagent system. The benefits of formal methods become clearer when we recognize the cost of developing a defective multiagent system. This paper seeks to introduce engineers to the possibilities of applying formal methods for multiagent systems. To this end, it discusses selected formal methods approaches for multiagent systems for which there is tool support. These works have been organized into two broad categories: those formal methods constituting a development method in themselves and those intended to complement an existing development method.