Name
Abstract | ||
|---|---|---|
This paper combines symmetry reduction with generalized symbolic trajectory evaluation (GSTE) to tackle state explosion. The inherent correlation between structure symmetry and property symmetry is formalized as a theorem, which provides the soundness of our symmetry reduction method. We introduce a practical strategy to effectively integrate the symmetry-reduction approach in a hybrid verificatio... |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1093/comjnl/bxs161 | The Computer Journal |
Keywords | Field | DocType |
generalized symbolic trajectory evaluation,symmetry reduction,theorem proving | Discrete mathematics,Algebra,Computer science,Automated theorem proving,Theoretical computer science,Symmetry reduction,Symbolic trajectory evaluation | Journal |
Volume | Issue | ISSN |
57 | 1 | 0010-4620 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Yongjian Li | 1 | 37 | 12.27 |
| Naiju Zeng | 2 | 7 | 2.53 |
| William N. N. Hung | 3 | 304 | 34.98 |
| Xiaoyu Song | 4 | 471 | 51.61 |