Performance Evaluation and Model Checking Join Forces

Christel Baier, Boudewijn R.H.M. Haverkort, H. Hermanns, Joost P. Katoen

    Research output: Contribution to journalArticleAcademicpeer-review

    59 Citations (Scopus)
    58 Downloads (Pure)

    Abstract

    A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques.
    Original languageUndefined
    Pages (from-to)76-85
    Number of pages10
    JournalCommunications of the ACM
    Volume53
    Issue number9
    DOIs
    Publication statusPublished - Sep 2010

    Keywords

    • METIS-271025
    • IR-73099
    • EWI-18441

    Cite this