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.45 | Wiley Encyclopedia of Computer Science and Engineering |
Keywords | DocType | ISBN |
symmetric state,model checking,state space explosion,symmetry reduction,Software Security | Conference | 0-7695-2856-2 |
Citations | PageRank | References |
1 | 0.37 | 2 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jeannette M. Wing | 1 | 6429 | 874.60 |