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/ReportBookScientific

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

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). Enschede: Centre for Telematics and Information Technology (CTIT).
Kolesnichenko, A.V. ; Remke, Anne Katharina Ingrid ; de Boer, Pieter-Tjerk ; Haverkort, Boudewijn R.H.M. / A logic for model-checking of mean-field models. Enschede : Centre for Telematics and Information Technology (CTIT), 2012. (CTIT Technical Report Series).
@book{e7f7259e41784371b2c7c060e99e225f,
title = "A logic for model-checking of mean-field models",
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.",
keywords = "EWI-21631, Mean-field model-checking, IR-80267, METIS-286289",
author = "A.V. Kolesnichenko and Remke, {Anne Katharina Ingrid} and {de Boer}, Pieter-Tjerk and Haverkort, {Boudewijn R.H.M.}",
note = "This is an authors' version of the short abstract, which was excepted for the presentation at QAPL'12.",
year = "2012",
month = "3",
day = "30",
language = "English",
series = "CTIT Technical Report Series",
publisher = "Centre for Telematics and Information Technology (CTIT)",

}

Kolesnichenko, AV, Remke, AKI, de Boer, P-T & Haverkort, BRHM 2012, A logic for model-checking of mean-field models. CTIT Technical Report Series, Centre for Telematics and Information Technology (CTIT), Enschede.

A logic for model-checking of mean-field models. / Kolesnichenko, A.V.; Remke, Anne Katharina Ingrid; de Boer, Pieter-Tjerk; Haverkort, Boudewijn R.H.M.

Enschede : Centre for Telematics and Information Technology (CTIT), 2012. (CTIT Technical Report Series).

Research output: Book/ReportBookScientific

TY - BOOK

T1 - A logic for model-checking of mean-field models

AU - Kolesnichenko, A.V.

AU - Remke, Anne Katharina Ingrid

AU - de Boer, Pieter-Tjerk

AU - Haverkort, Boudewijn R.H.M.

N1 - This is an authors' version of the short abstract, which was excepted for the presentation at QAPL'12.

PY - 2012/3/30

Y1 - 2012/3/30

N2 - 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.

AB - 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.

KW - EWI-21631

KW - Mean-field model-checking

KW - IR-80267

KW - METIS-286289

M3 - Book

T3 - CTIT Technical Report Series

BT - A logic for model-checking of mean-field models

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -

Kolesnichenko AV, Remke AKI, de Boer P-T, Haverkort BRHM. A logic for model-checking of mean-field models. Enschede: Centre for Telematics and Information Technology (CTIT), 2012. (CTIT Technical Report Series).