CuBit: A General-Purpose Operating System in SPARK/Ada

by Jon Andrew – Jun 10, 2020. Last year, I started evaluating programming languages for a formally-verified operating system. I've been developing software for a while, but only recently began work in high integrity software development and formal methods. There are several operating system…