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

    92 Downloads (Pure)

    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 languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages4
    Publication statusPublished - 30 Mar 2012

    Publication series

    NameCTIT Technical Report Series
    PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)
    No.TR-CTIT-12-11
    ISSN (Print)1381-3625

    Keywords

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

    Cite this