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