Campus Event Calendar
Event Entry
What and Who
AVACS Virtual Seminar- Analysis of Dynamic Communication Systems
Tobe Toben
Virtual Seminar
AG 1, RG1
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 15 June 2007
13:30
45 Minutes
E1 4
024
Saarbrücken
Abstract
Dynamic Communication Systems (DCS) are characterised by a dynamically
changing and potentially unbounded number of processes operating in a
varying communication topology. We present abstraction refinement
methods for Data-Type Reduction, a special form of finitary abstraction,
of DCS. The refinement substantially increases the precision of the
abstraction and allows to automatically solve a rich class of
first-order quantified temporal properties. The refinement itself is
based on examination of communication sequences of a given DCS.
Contact
Roxane Wetzel
900
--email hidden
passcode not visible
logged in users only
Roxane Wetzel, 06/14/2007 16:23 -- Created document.