A logic for model-checking of mean-field models

A.V. Kolesnichenko, Anne Katharina Ingrid Remke, Pieter-Tjerk de Boer, Boudewijn R.H.M. Haverkort

Research output: Book/ReportBook

Abstract

Recently, many systems consisting of a large number of interacting objects were analysed using the mean-field method, which has only been used for performance evaluation. In this short paper, we apply it to model checking. We define logic, which allows to describe the overall properties of the large system.
Original languageEnglish
Place of PublicationEnschede
PublisherCentre for Telematics and Information Technology (CTIT)
Publication statusPublished - 30 Mar 2012
Externally publishedYes

Publication series

NameCTIT Technical Report Series

Keywords

  • EWI-21631
  • Mean-field model-checking
  • IR-80267
  • METIS-286289

Fingerprint Dive into the research topics of 'A logic for model-checking of mean-field models'. Together they form a unique fingerprint.

  • Cite this

    Kolesnichenko, A. V., Remke, A. K. I., de Boer, P-T., & Haverkort, B. R. H. M. (2012). A logic for model-checking of mean-field models. (CTIT Technical Report Series). Centre for Telematics and Information Technology (CTIT).