Verve (operating system)
id:
verve-operating-system-293-14512980
title:
Verve (operating system)
text:
Verve is a research operating system developed by Microsoft Research. Verve is verified end-to-end for type safety and memory safety. Because of their complexity, a holy grail of software verification has been to verify properties of operating systems. Operating systems are usually written in low-level languages, such as C, that provide very few guarantees. The Singularity Project took the approach of writing an operating system in C#, a type-safe, memory-safe language. A weakness of this approa
brand slug:
wiki
category slug:
encyclopedia
description:
Research operating system from Microsoft Research
original url:
https://en.wikipedia.org/wiki/Verve_(operating_system)
date created:
date modified:
2024-04-10T22:21:14Z
main entity:
{"identifier":"Q7923009","url":"https://www.wikidata.org/entity/Q7923009"}
image:
fields total:
13
integrity:
14