Experimental Comparison of Algorithms Checking Proviso for Partial Order Reduction
| Authors | |
|---|---|
| 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 | |
| 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: |
|