Some Solutions to the Ignoring ProblemReportar como inadecuado

Some Solutions to the Ignoring Problem - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 CEDRIC - Centre d-Etude et De Recherche en Informatique du Cnam

Abstract : The ignoring problem refers to the fact that some actions may be infinitely postponed by a state space search algorithm that makes use of partial order reduction POR. The prevention of this phenomenon is mandatory if one wants to verify more elaborate properties than the deadlock freeness, e.g., safety or liveness properties. We present in this work some solutions to this problem. In order to assess the quality of our propositions, we included them in our model checker Helena. We report the result of some experiments which show that our algorithms yield bet- ter reductions than state of the art algorithms like those implemented in the Spin tool.

Keywords : explicit model checking partial order reduction ignoring problem cycle proviso

Autor: Sami Evangelista - Christophe Pajault -



Documentos relacionados