Symbolic verification of regular properties.

Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong

Browse the full ICSE paper archive.