Singularity was a multi-year research project focused on the construction of dependable systems through innovation in the areas of systems, languages, and tools. We built a research operating system prototype (called Singularity), extended programming languages, and developed new techniques and tools for specifying and verifying program behavior. Advances in languages, compilers, and tools open th
{{#tags}}- {{label}}
{{/tags}}