Wenhui Zhang, Xue-Yang Zhu, Yulong Bao. VERDS: Modeling and Verification of Finite State Systems with Discrete Time Models by Symbolic Techniques. In International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021. pages 135-142, IEEE, 2021. [doi]
Abstract is missing.