Performance Evaluation and Model Checking Join Forces

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

Research output: Contribution to journalArticleScientificpeer-review

61 Citations (Scopus)


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
Issue number9
Publication statusPublished - Sep 2010
Externally publishedYes


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

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

Cite this