Robin P. Neatherway

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 1

Top Topics

Linear Temporal Logic

Reactive Systems

Verification Method

Top Venues

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Martin Lester, Robin P. Neatherway, C.-H. Luke Ong, Steven J. Ramsay
Verifying Liveness Properties of ML Programs. CoRR (2020)
Steven J. Ramsay, Robin P. Neatherway, C.-H. Luke Ong
A type-directed abstraction refinement approach to higher-order model checking. POPL (2014)
Robin P. Neatherway, C.-H. Luke Ong
TravMC2: higher-order model checking for alternating parity tree automata. SPIN (2014)
Robin P. Neatherway, Steven J. Ramsay, C.-H. Luke Ong
A traversal-based algorithm for higher-order model checking. ICFP (2012)