Performance Evaluation and Model Checking Join Forces

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen

    Research output: Contribution to journalArticleAcademicpeer-review

    70 Citations (Scopus)
    149 Downloads (Pure)

    Abstract

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

    Fingerprint

    Dive into the research topics of 'Performance Evaluation and Model Checking Join Forces'. Together they form a unique fingerprint.

    Cite this