Announcing Verve – A Type-Safe Operating System

Earlier this week Microsoft Research published a paper and announced the release of Verve, an operating system which grew out of the Singularity project, upon whose base premise is to use Typed Assembly Language, TAL, and Hoare logic to achieve the highest levels of security and safety.  The Verve operating system consists of a nucleus, a kernel and one or more applications. While Verve is