Robin P. Neatherway

A type-directed abstraction refinement approach to higher-order model checking

Steven Ramsay, Robin P. Neatherway, C.-H. Luke Ong · 2014 · 50 citations · Full text

Computing, Computer Science, Algorithms +16

A traversal-based algorithm for higher-order model checking

Robin P. Neatherway, Steven Ramsay · 2012 · 35 citations

Computing, Computer Science, Algorithms +15

Model checking liveness properties of higher-order functional programs

Robin P. Neatherway, Steven Ramsay · 2010 · 15 citations

Computing, Computer Science, Algorithms +16

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

Robin P. Neatherway, C.-H. Luke Ong · 2014 · 10 citations

Computing, Computer Science, Formal Methods +16