10 years of model-program theory at Microsoft:
from research to product impact

Margus Veanes
Microsoft Research, Redmond, WA, USA

Slides from the talk [pdf]

Model programs, written in C# or AsmL, were recently adapted in the Windows organization at Microsoft as the standard for doing behavioral modeling of application-level network protocols. The main focus currently is on model-basedtesting, which is a cornerstone of the wider protocol quality assurance effort that is a part of Microsoft's commitment to comply with the requirements of the Department of Justice and the European Union. We look back at how this technology evolved in Research and ended up in the Product land. Looking ahead, model-based development, supported by various formal methods, will be an integrated part of protocol development. We look at some recent advances and challenges in model-program analysis.

Last changed November 24, 2008 19:51 EET by local organizers, nwpt08(at)cs.ioc.ee