A logic for model-checking of mean-field models


Kolesnichenko, Anna and Remke, Anne and Boer, Pieter-Tjerk de and Haverkort, Boudewijn R. (2012) A logic for model-checking of mean-field models. [Report]

open access
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.
Item Type:Report
Additional information:This is an authors' version of the short abstract, which was excepted for the presentation at QAPL'12.
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/80267
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page