Microsoft Research Downloads
Sun Jan 24 11:49:01 EST 2010
Home: http://research.microsoft.com/apps/dp/dl/downloads.aspx
Feed: http://research.microsoft.com/rss/downloads.xml

TLA Toolbox - Mac 64-bit

TLA Toolbox - Mac 32-bit

TLA Toolbox - Linux 64-bit

TLA Toolbox - Linux 32-bit

TLA Toolbox - Windows 64-bit

TLA Toolbox - Windows 32-bit

CodeContract Tools

Pex - Automated Whitebox Testing for .NET

TLA Toolbox

Z3

SCARF: A Segmental CRF Speech-Recognition Tool Kit

Dminor

Bulk-Synchronous GPU Programming Compiler

Fine: A Type-Preserving Compiler for End-to-End Security Verification

Chemistry Add-in for Word 2007

ORTC Sample Code

Dryad and DryadLINQ Academic Release

Broom Tool Kit to Unbias Network Measurements

Infer.NET 2.3

Project Trident: A Scientific Workflow Workbench