Faculty of Computer Science

Research Group Theoretical Computer Science


Oberseminar: Heterogene formale Methoden


Date: 2017, November 15
Author: Codescu, Mihai
Title: Hybridization of Institutions

Abstract:

I will present a result of Diaconescu and Madeira on constructing an institution with features specific to hybrid logic &mspace; nominals, modalities, possible worlds semantics &mspace; on top of an arbitrary base institution. This provides foundations for specification of reconfigurable systems, with different modes of operation that can change as response to events. I will give examples of such systems and describe a methodology for their verification.


Back to the Oberseminar web page
Webmaster