Manuel Fähndrich - Language Agnostic Specification and Verification for .NET

Event details
Date | 23.03.2010 |
Hour | 16:15 |
Speaker | Manuel Fähndrich (Microsoft Research) |
Location |
INM 010
|
Category | Conferences - Seminars |
Over the last few years Microsoft Research has been working on bringing simple and pragmatic program specification, aka Code Contracts, to programming languages targeting the Microsoft .NET platform. Contracts document programming assumptions in a machine discoverable form.
Contracts are targeted at the general developer, not the verification enthusiast. It is thus important to use a single form of specifications that meets three simultaneous goals:
* First and foremost, contracts serve as documentation. They must be as readable as possible.
* Second, contracts should be executable. This motivates writing specifications for testing and immediate perceived benefit, without consideration of static verification.
* Finally, contracts should help in static defect discovery and reduce false positives.
Our specification approach is language-agnostic in that we use idiomatic code written in the developer's source language to express preconditions, postconditions, and object invariants.
Links
Practical information
- General public
- Free
Contact
- Viktor Kuncak