Return to Microsoft Research Lab – Redmond
Research in Software Engineering (RiSE)
项目
加载中…
成立:
Project Parasail is a novel approach to …
成立:
Corral is a whole-program analysis tool …
Networks need to run reliably, efficient…
成立:
The mission of Microsoft’s One Engineeri…
成立:
Koka is a strongly typed functional-styl…
成立:
F* is a verification-oriented dialect of…
成立:
Project “Orleans” invented the Virtual A…
成立:
SymDiff is a tool for performing differe…