seL4: formal verification of an operating-system kernel

Full Text:

Html

PDF SIGN IN to get this Article

Authors:	Gerwin Klein	National ICT Australia (NICTA), University of South Wales (UNSW), Sydney
	June Andronick	NICTA, UNSW
	Kevin Elphinstone	NICTA, UNSW
	Gernot Heiser	NICTA, UNSW, Open Kernel Labs
	David Cock	NICTA
	Philip Derrin	NICTA, now at Open Kernel Labs
	Dhammika Elkaduwe	NICTA, UNSW, now at University of Peradeniya, Sri Lanka
	Kai Engelhardt	NICTA, UNSW
	Rafal Kolanski	NICTA, UNSW
	Michael Norrish	NICTA, Australian National University, Canberra
	Thomas Sewell	NICTA
	Harvey Tuch	NICTA, UNSW, now at VMWare
	Simon Winwood	NICTA, UNSW

	2010 Article Popular Refereed
Bibliometrics
· Downloads (6 Weeks): 20 · Downloads (12 Months): 177 · Downloads (cumulative): 916 · Citation Count: 16

Published in:

	· Magazine
	Communications of the ACM CACM Homepage archive
	Volume 53 Issue 6, June 2010 Pages 107-115 ACM New York, NY, USA table of contents doi>10.1145/1743546.1743574

Tools and Resources