Performance evaluation and model checking join forces
From International Center for Computational Logic
Performance evaluation and model checking join forces
Christel BaierChristel Baier, Boudewijn R. HaverkortBoudewijn R. Haverkort, Holger HermannsHolger Hermanns, Joost-Pieter KatoenJoost-Pieter Katoen
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Performance evaluation and model checking join forces
Communications of the ACM, 53(9):76--85, 2010
Performance evaluation and model checking join forces
Communications of the ACM, 53(9):76--85, 2010
- KurzfassungAbstract
A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques. - Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science
@article{BHHK2010,
author = {Christel Baier and Boudewijn R. Haverkort and Holger Hermanns and
Joost-Pieter Katoen},
title = {Performance evaluation and model checking join forces},
journal = {Communications of the {ACM}},
volume = {53},
number = {9},
year = {2010},
pages = {76--85},
doi = {10.1145/1810891.1810912}
}
