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

Thumbnail

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.

Practical information

  • General public
  • Free

Contact

  • Viktor Kuncak

Event broadcasted in

Share