Cover Image
QR Code

Performance Evaluation and Model Checking Join Forces.

The article presents a discussion of improvements in computing which can be obtained by combining performance evaluation methods with model checking techniques. The idea of jointly working on quantitative verification and performance is described as a useful way of combining complementary functions....

Full description

Published in:Communications of the ACM Vol. 53; no. 9; pp. 76 - 86
Main Authors: BAIER, CHRISTEL, HAVERKORT, BOUDEWIJN R., HERMANNS, HOLGER, KATOEN, JOOST-PIETER
Format: Article
Published: Association for Computing Machinery Sep2010
Subjects:
Computer software testing
Computer simulation
Computer logic
Debugging
Queuing theory
Performance evaluation
Online Access:View this record in EBSCOhost

Internet

View this record in EBSCOhost