InfoQ Homepage Boogie Content on InfoQ
News
RSS Feed-
Announcing Verve – A Type-Safe Operating System
Microsoft Research releases 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.