Operating System Verification

• Authors:

• Gerwin Klein;Ralf Huuck;Bastian Schlich

• Affiliations:

• NICTA and University of New South Wales, Sydney, Australia 1466;NICTA and University of New South Wales, Sydney, Australia 1466;Embedded Software Laboratory, RWTH Aachen University, Aachen, Germany 52074

• Venue:
• Journal of Automated Reasoning
• Year:
• 2009