Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF or MPI-SWS or Local Campus Event Calendar

New for: D3
<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:A Set-Theoretic Framework for Assume-Guarantee Reasoning
Speaker:Patrick Maier
coming from:Max-Planck-Institut für Informatik - AG 2
Speakers Bio:
Event Type:AG2 Working Group Seminar
Visibility:D1, D2, D3, D4
We use this to send out email in the morning.
Level:AG Audience
Language:-- Not specified --
Date, Time and Location
Date:Thursday, 5 July 2001
Time:10:15
Duration:-- Not specified --
Location:Saarbrücken
Building:46.1
Room:021
Abstract
In this talk we present a circular assume-guarantee rule in an

abstract setting (of sets over a partially-ordered domain). The
rule has a mathematically concise side condition resolving the
circularity, and its soundness proof is simple. Now, in order to
establish an assume-guarantee rule in a concrete setting, all we
need to do is to is to instantiate the abstract setting and check
the side condition; we need not redo the notorious circularity
argument again. We use this framework to establish a new
assume-guarantee rule for the setting, where reactive systems are
modeled by first order Kripke structures.

Contact
Name(s):Uwe Waldmann
Phone:+49 (0) 681 9325-227
EMail:--email address not disclosed on the web
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Keywords:Reasoning
Note:
Attachments, File(s):