Publication details

Experimental Comparison of Algorithms Checking Proviso for Partial Order Reduction

Investor logo
Investor logo


Year of publication 2006
Type Article in Proceedings
Conference 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006)
MU Faculty or unit

Faculty of Informatics

Field Informatics
Keywords model checking; partial order reduction; proviso checking
Description In this paper we have summed up all known algorithms checking proviso for partial order reduction in LTL model checking. All mentioned algorithms have been implemented and experimentally evaluated on a large collection of models. Experiments mostly confirmed theoretical expectations of algorithms comparison.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info