VERDS: Modeling and Verification of Finite State Systems with Discrete Time Models by Symbolic Techniques - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Wenhui Zhang' in GoogleThis author has not been identified. Look up 'Xue-Yang Zhu' in GoogleThis author has not been identified. Look up 'Yulong Bao' in Google

runs on WebDSL