Date: | 2017, November 15 |
Author: | Codescu, Mihai |
Title: | Hybridization of Institutions |
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.