A logic for model-checking of mean-field models

Share/Save/Bookmark

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

[img]
Preview
PDF
199Kb
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
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/80267
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page