Faculty of Computer Science
Research Group Theoretical Computer Science
Oberseminar: Heterogene formale Methoden
||2016, May 25
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