Name
Abstract | ||
|---|---|---|
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (orbit) of symmetric states. This paper presents a framework for symmetry ... |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1109/TASE.2007.47 | TASE |
Keywords | Field | DocType |
symmetric state,model checking,state space explosion,symmetry reduction,model verification,streaming state space,physics,concurrent computing,distributed computing,clustering algorithms,mathematics,distributed processing,parallel processing,sorting,scalability,mathematical model,use case,computer networks,state space | Locality,Distributed element model,Computer science,Parallel computing,Theoretical computer science,Sorting,External storage,Concurrent computing,Cluster analysis,State space,Scalability,Distributed computing | Conference |
ISBN | Citations | PageRank |
0-7695-2856-2 | 5 | 0.45 |
References | Authors | |
20 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Viliam Holub | 1 | 49 | 5.38 |
| Petr Tuma | 2 | 276 | 31.77 |