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....

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 53; no. 9; pp. 76 - 86
Autores principales:	BAIER, CHRISTEL, HAVERKORT, BOUDEWIJN R., HERMANNS, HOLGER, KATOEN, JOOST-PIETER
Formato:	Artículo
Publicado:	Association for Computing Machinery Sep2010
Materias:	Computer software testing Computer simulation Computer logic Debugging Queuing theory Performance evaluation
Acceso en línea:	Ver este registro en EBSCOhost