Singularity Research Development Kit (RDK) Launched!
Singularity is a research project focused on the construction of dependable systems through innovation in the areas of systems, languages, and tools. We are building a research operating system prototype (called Singularity), extending programming languages, and developing new techniques and tools for specifying and verifying program behavior.
Awesome work!
Technorati tags: Singularity
Comments
- Anonymous
April 24, 2012
for what purpose rdk is used and how I can use it? please reply at johnhaider1@gmail.com if possible