@article{Heiser_26,
    author           = {Gernot Heiser},
    doi              = {10.1109/MRL.2026.3680074},
    issn             = {2641-8819},
    journal          = {IEEE Reliability Magazine},
    keywords         = {Operating systems;Software quality;Formal verification;Resource management;Access control;Virtual
                        machines;Risk management;File systems;Kernel machines},
    month            = jun,
    number           = {2},
    pages            = {55-62},
    paperurl         = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=11501958},
    title            = {{seL4}: {O}perating Systems With the Reliability of Mathematics},
    volume           = {3},
    year             = {2026}
  }