Ben Horsfall

Verifying the reflective visitor pattern

Nathaniel Charlton, Bernhard Reus, Ben Horsfall, 2012, FTfJP@ECOOP.

Formal reasoning about runtime code update

Nathaniel Charlton, Bernhard Reus, Ben Horsfall, 2011, 2011 IEEE 27th International Conference on Data Engineering Workshops.

Symbolic Execution Proofs for Higher Order Store Programs

Nathaniel Charlton, Bernhard Reus, Ben Horsfall, 2014, Journal of Automated Reasoning.

Crowfoot: A Verifier for Higher-Order Store Programs

Nathaniel Charlton, Bernhard Reus, Ben Horsfall, 2012, VMCAI.