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