Rewriting for Symbolic Execution of State Machine Models

Cite this paper

@inproceedings{Moore2001RewritingFS, title={Rewriting for Symbolic Execution of State Machine Models}, author={J. Strother Moore}, booktitle={CAV}, year={2001} }