TravMC2: higher-order model checking for alternating parity tree automata - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Robin P. Neatherway, C.-H. Luke Ong. TravMC2: higher-order model checking for alternating parity tree automata. In Neha Rungta, Oksana Tkachuk, editors, 2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014. pages 129-132, ACM, 2014. [doi]

The following publications are possibly variants of this publication:

On Global Model Checking Trees Generated by Higher-Order Recursion SchemesChristopher Broadbent, Luke Ong. fossacs 2009: 107-121 [doi]

On Model-Checking Trees Generated by Higher-Order Recursion SchemesC.-H. Luke Ong. lics 2006: 81-90 [doi]

runs on WebDSL