Institute of Computer Languages
Compilers and Languages Group
Talks 2006 - Helmut Veith
The Compilers and Languages Group invites you to a talk given by
Prof. Dr. Helmut Veith
(TU München, Deutschland) on
Proving Ptolemy Right: Environment Abstraction for Concurrent Systems
||Wednesday, October 18, 2006
||TU Wien, Elektrotechnik, Hörsaal EI 5 (Hochenegg-Hörsaal),
Gußhausstraße 25-29 (Altbau), 2. Stock
Concurrent systems are notoriously error-prone and hard to analyze, both for human engineers and verification tools. In this talk, we describe environment abstraction, a method for automated verification of concurrent systems with an unbounded number of processes. In environment abstraction, the abstract state space describes properties of the concurrent system from the point of view of individual processes. We argue that for systems designed by human programmers this Ptolemaic viewpoint yields precise and feasible abstract models. We present examples of disrtibuted algorithms and cache coherence protocols which where successfully verified by enviromnent abstraction.
About Prof. Dr. Helmut Veith:
Helmut Veith is a professor at Munich Technical University, and an adjunct professor at Carnegie Mellon University. He received a diploma (1994) and a PhD sub auspiciis praesidentis (1998) from Vienna University of Technology. Prior to his appointment to Munich in 2003, he was associate professor at Vienna University of Technology.
HTML 4.01 |
last update: 2017-02-13 (Webmaster)