Nathaniel Charlton

Available identifiers

Publication	Date of Publication	Type
Symbolic execution proofs for higher order store programs	2016-05-26	Paper
Polynomial-time under-approximation of winning regions in parity games	2015-03-23	Paper
Falsifying safety properties through games on over-approximating models	2015-03-23	Paper
Specification patterns for reasoning about recursion through the store	2014-01-16	Paper
Verification of Java programs with interacting analysis plugins	2013-12-04	Paper
Crowfoot: A Verifier for Higher-Order Store Programs	2012-06-15	Paper
Specification patterns and proofs for recursion through the store	2011-08-19	Paper
Hoare logic for higher order store using simple semantics	2011-05-27	Paper
Program verification with interacting analysis plugins	2007-09-06	Paper
On the outcome of Kerr-like collapse	1990-01-01	Paper

This page was built for person: Nathaniel Charlton