Note
Access to this page requires authorization. You can try signing in or changing directories.
Access to this page requires authorization. You can try changing directories.
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