Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2016, May 25
Author: Günther, Stephan
Title: Reachability Logic


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