Experimental Comparison of Algorithms Checking Proviso for Partial Order Reduction

Investor logo
Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

MORAVEC Pavel

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

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