Distributed Partial Order Reduction of State Spaces
| Autor: | Pavel Moravec, Ivana Černá, Luboš Brim, Jiri Simsa |
|---|---|
| Rok vydání: | 2005 |
| Předmět: |
Theoretical computer science
General Computer Science 020207 software engineering 0102 computer and information sciences 02 engineering and technology 01 natural sciences Power (physics) Theoretical Computer Science Partial order reduction Distributed model checking 010201 computation theory & mathematics Obstacle 0202 electrical engineering electronic engineering information engineering State space Distributed memory State (computer science) partial order reduction Formal verification Distributed model-checking LTL model-checking Mathematics Computer Science(all) |
| Zdroj: | Electronic Notes in Theoretical Computer Science. 128(3):63-74 |
| ISSN: | 1571-0661 |
| DOI: | 10.1016/j.entcs.2004.10.019 |
| Popis: | State space explosion is a fundamental obstacle in formal verification of concurrent systems. Several techniques for combating this problem have emerged in the past few years, among which the two we are interested in are: partial order reduction and distributed memory state exploration. While the first one tries to reduce the problem to a smaller one, the other one tries to extend the computational power to solve the same problem. In this paper, we consider a combination of these two approaches and propose a distributed memory algorithm for partial order reduction. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect