Thomas Arthur Leck Sewell

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Comprehensive formal verification of an OS microkernel

Gerwin Klein and others (2014) · ACM Transactions on Computer Systems · Association for Computing Machinery

Formally Verified System Initialisation

Andrew Boyton and others (2013) · Lecture notes in computer science · Springer Science+Business Media

Translation validation for a verified OS kernel

Thomas Arthur Leck Sewell and others (2013) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation