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 -