Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rahmadi Trimananda, Weiyu Luo, Brian Demsky, Guoqing Harry Xu. Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate. In Bernd Finkbeiner, Thomas Wies, editors, Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings. Volume 13182 of Lecture Notes in Computer Science, pages 400-424, Springer, 2022. [doi]

This author has not been identified. Look up 'Rahmadi Trimananda' in GoogleThis author has not been identified. Look up 'Weiyu Luo' in GoogleThis author has not been identified. Look up 'Brian Demsky' in GoogleThis author has not been identified. Look up 'Guoqing Harry Xu' in Google

runs on WebDSL