Nathaniel Charlton

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Symbolic execution proofs for higher order store programs Journal of Automated Reasoning	2016-05-26	Paper
Polynomial-time under-approximation of winning regions in parity games Electronic Notes in Theoretical Computer Science	2015-03-23	Paper
Falsifying safety properties through games on over-approximating models Electronic Notes in Theoretical Computer Science	2015-03-23	Paper
Specification patterns for reasoning about recursion through the store Information and Computation	2014-01-16	Paper
Verification of Java programs with interacting analysis plugins	2013-12-04	Paper
Crowfoot: A Verifier for Higher-Order Store Programs Lecture Notes in Computer Science	2012-06-15	Paper
Specification patterns and proofs for recursion through the store Fundamentals of Computation Theory	2011-08-19	Paper
Hoare logic for higher order store using simple semantics Logic, Language, Information and Computation	2011-05-27	Paper
Program verification with interacting analysis plugins Formal Aspects of Computing	2007-09-06	Paper
On the outcome of Kerr-like collapse Classical and Quantum Gravity	1990-01-01	Paper

Research outcomes over time

This page was built for person: Nathaniel Charlton