VERDS: Modeling and Verification of Finite State Systems with Discrete Time Models by Symbolic Techniques.

Wenhui Zhang, Xue-Yang Zhu, Yulong Bao

Browse the full TASE paper archive.