Refinement in the Formal Verification of the seL4 Microkernel - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gerwin Klein, Thomas Sewell, Simon Winwood. Refinement in the Formal Verification of the seL4 Microkernel. In David S. Hardin, editor, Design and Verification of Microprocessor Systems for High-Assurance Applications. pages 323-339, Springer, 2010. [doi]

This author has not been identified. Look up 'Gerwin Klein' in GoogleThis author has not been identified. Look up 'Thomas Sewell' in GoogleThis author has not been identified. Look up 'Simon Winwood' in Google

runs on WebDSL