Asml

Modeling language based on abstract state machines

 BAM

Cloud Computing with Models

 Cω

The project that started Linq

 Daedalus

Improving Data Locality and Scalability

 NModel

Model-based Software Testing and Analysis Tool with C#

 Ninjaware

Low Overhead Software Monitoring and Analysis

 PPP

Preferential Path Profiling

 Singularity

OS and tools for building dependable systems

 SLAM

Software model checking of device drivers

 SpecExplorer

Tool for model-based specification and conformance testing

 TPL

Task Parallel Library in .NET 4.0