External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Experience report: seL4: formally verifying a high-performance microkernel

Gerwin Klein, Philip Derrin, Kevin Elphinstone. Experience report: seL4: formally verifying a high-performance microkernel. In Graham Hutton, Andrew P. Tolmach, editors, Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009. pages 91-96, ACM, 2009. [doi]

Authors

Gerwin Klein

This author has not been identified. Look up 'Gerwin Klein' in Google

Philip Derrin

This author has not been identified. Look up 'Philip Derrin' in Google

Kevin Elphinstone

This author has not been identified. Look up 'Kevin Elphinstone' in Google
runs on