Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
TechFest - Applications of Automated Reasoning

Speaker  Byron Cook

Affiliation  Software Engineering

Duration  00:29:33

Date recorded  2 March 2005

Several recent and fundamental advances have greatly increased the power of automated reasoning tools. Using these advances, Microsoft developed software such as Static Driver Verifier for finding bugs in device drivers. But automated reasoning libraries can be used in contexts beyond bug-finding. Examples include configuration management, scheduling, compilation, and other mathematics-based applications. In this talk I will provide information on the automated reasoning libraries that are currently available and describe how developers can use them to solve a wide variety of problems that require reasoning. I will also outline the projects within MSR to develop automated reasoning tools.

©2005 Microsoft Corporation. All rights reserved.
> TechFest - Applications of Automated Reasoning