June 2010 - Vol. 53 No. 6

June 2010 issue cover image

Features

Research and Advances Research highlights

seL4: Formal Verification of an Operating-System Kernel

We report on the formal, machine-checked verification of the seL4 microkernel from an abstract specification down to its C implementation. We assume correctness of…

Recent Issues

  1. April 2024 CACM cover with text
    April 2024 Vol. 67 No. 4
  2. March 2024 CACM cover
    March 2024 Vol. 67 No. 3
  3. February 2024 CACM cover
    February 2024 Vol. 67 No. 2
  4. January 2024 Vol. 67 No. 1