The Singularity project is an experimental microkernel and operating system developed primarily with managed code, and it uses static analysis to ensure high dependability. Singularity uses Microsoft’s experimental Bartok compiler, which translates .NET