The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

Skip to content

LAA

Seminar

Environment abstraction for parameterised systems

Veith, H (TU, Munich)
Wednesday 14 June 2006, 11:00-12:00

Seminar Room 1, Newton Institute

Abstract

In this talk, we describe environment abstraction, a new form of abstraction for parameterized systems. Characteristically, environment abstraction views a concurrent system from the point of view of a single process. We argue that for systems designed by human programmers this Ptolemaic view of the world yields precise and feasible abstract models. We survey examples of distributed algorithms and cache coherence protocols which were successfully verified by environment abstraction.

Joint Work with Ed Clarke and Muralidhar Talupur

Back to top ∧