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

Date: Wednesday, October 18, 2006
Time: 16:00 (s.t.)
Location: TU Wien, Elektrotechnik, Hörsaal EI 5 (Hochenegg-Hörsaal), Gußhausstraße 25-29 (Altbau), 2. Stock

Abstract:

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.
Complang
   About Us
   Research
   Lehre
   Service
      Robotics
      Library
      Talks 2017
      Talks 2016
      Talks 2015
      Talks 2014
      Talks 2013
      Talks 2012
      Talks 2011
      Talks 2010
      Talks 2009
      Talks 2008
      Talks 2007
      Talks 2006
      Talks 2005
      Talks 2004
Sitemap
Contact
Fast Access:
Previous Talk
Next Talk
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | last update: 2017-02-13 (Webmaster)