Andrew Boyton

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Relational Algebra

Algebraic Expressions

Top Venues

Arch. Formal Proofs

University of New South Wales, Sydney, Australia (PHD)

Education History

University of New South Wales, Sydney, Australia

PHD

Publications

Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis, Thomas Sewell
Formally Verified System Initialisation. ICFEM (2013)
Gerwin Klein, Rafal Kolanski, Andrew Boyton
Mechanised Separation Algebra. ITP (2012)
Gerwin Klein, Rafal Kolanski, Andrew Boyton
Separation Algebra. Arch. Formal Proofs 2012 (2012)
Andrew Boyton
A Verified Shared Capability Model. Electron. Notes Theor. Comput. Sci. 254 (2009)