Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation

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… (More)
DOI: 10.1093/comjnl/bxs161

Topics

17 Figures and Tables

Cite this paper

@article{Li2014CombiningSR, title={Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation}, author={Yongjian Li and Naiju Zeng and William N. N. Hung and Xiaoyu Song}, journal={Comput. J.}, year={2014}, volume={57}, pages={115-128} }