Experimental Comparison of Algorithms Checking Proviso for Partial Order Reduction

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

• Integrated approach to education of PhD students in the area of parallel and distributed systems
• Techniques for automatic verification and validation of software nad hardware systems
• Institute for Theoretical Computer Science
• Highly Parallel and Distributed Computing Systems
• Automated software verification