Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peter Gjøl Jensen, Jirí Srba, Nikolaj Jensen Ulrik, Simon Mejlby Virenfeldt. Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking. 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 151-173, Springer, 2022. [doi]

This author has not been identified. Look up 'Peter Gjøl Jensen' in GoogleThis author has not been identified. Look up 'Jirí Srba' in GoogleThis author has not been identified. Look up 'Nikolaj Jensen Ulrik' in GoogleThis author has not been identified. Look up 'Simon Mejlby Virenfeldt' in Google

runs on WebDSL