Faculty of Computer Science
Research Group Theoretical Computer Science
Oberseminar: Heterogene formale Methoden
Date: |
2016, May 25 |
Author: |
Günther, Stephan |
Title: |
Reachability Logic |
Abstract:
In this talk we'll first introduce an extension of Institutions called
Stratified Institutions with Classes (SICs). We'll then have a look
at Abstract Reachability Logic (ARL), a general construction
parameterized over a SIC which yields an Institution for a given SIC.
Finally we'll construct Reachability Logic by instantiating the
parameter of ARL with Matching Logic as introduced in a previous talk.
Back to the Oberseminar web page
Webmaster