|
|
|
|
|
by icebraining
4563 days ago
|
|
From Microsoft: "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." "The Singularity Research Development Kit (RDK) 2.0 is now available for academic non-commercial use. You can download it from CodePlex, Microsoft's open source project hosting website" http://research.microsoft.com/en-us/projects/singularity/ |
|