BT
rss
Followers

Announcing Verve – A Type-Safe Operating System

by James Vastbinder Follow 0 Followers on  Dec 08, 2010

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.

BT