Campus Event Calendar

Event Entry

New for: D3

What and Who

Logical Abstractions for Verification

Thomas Wies
IST Austria
AG 1, AG 3, AG 5, SWS, AG 4, RG1, MMCI  
Expert Audience

Date, Time and Location

Friday, 15 April 2011
90 Minutes
E1 3


Verification technology has proved useful for increasing software

reliability and productivity. Its great asset lies in concepts and
algorithms for the mechanical construction of formally precise,
conservative abstractions of behavioral aspects of systems. Its
applicability extends to other problems in Computer Science. A recent
example is our use of abstraction algorithms for scheduling in cloud
computing (implemented on top of Amazon's elastic compute cloud). In
my talk, I will present techniques for computing and analyzing
abstractions for systems whose behavior depends on complex states,
such as distributed message passing systems in the actors framework.
Our techniques are based on decision procedures for specific logical
theories. The resulting logical abstractions give rise to a new
generation of verification tools.


Prof. Sebastian Hack
--email hidden
passcode not visible
logged in users only

gk-sek, 04/11/2011 13:02 -- Created document.