Link Removed(an OS written in managed code used for research purposes) has provided several very useful research results and opened new avenues for exploration in operating system design. Recently, Link Removed that takes a new approach to building an OS stack with verifiable and type safe...
architecture
design
error checking
garbage collection
hoare logic
kernel
microsoft
nucleus
operating system
os development
programming
research
safety
scientists
software
static verification
theorem prover
type safety
typed assembly language
verve