\( \texttt {MC} ^ \texttt {2} \texttt {MABS} \): A Monte Carlo Model Checker for Multiagent-Based Simulations

  • Benjamin Herd
  • Simon Miles
  • Peter McBurney
  • Michael Luck
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9568)

Abstract

Agent-based simulation has shown great success for the study of complex adaptive systems and could in many areas show advantages over traditional analytical methods. Due to their internal complexity, however, agent-based simulations are notoriously difficult to verify and validate.

This paper presents \( \texttt {MC} ^ \texttt {2} \texttt {MABS} \), a Monte Carlo Model Checker for Multiagent-Based Simulations. It incorporates the idea of statistical runtime verification, a combination of statistical model checking and runtime verification, and is tailored to the approximate verification of complex agent-based simulations. We provide a description of the underlying theory together with design decisions, an architectural overview, and implementation details. The performance of \( \texttt {MC} ^ \texttt {2} \texttt {MABS} \) in terms of both runtime consumption and memory allocation is evaluated against a set of example properties.

Keywords

Agent-based simulation Verification Formal methods Testing 

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Benjamin Herd
    • 1
  • Simon Miles
    • 1
  • Peter McBurney
    • 1
  • Michael Luck
    • 1
  1. 1.Department of InformaticsKing’s College LondonLondonUK

Personalised recommendations