Specification Theory

From FSL
Jump to: navigation, search
Recently discovered cave
Even though our research is generally motivated by practical circumstances, theoretical problems and the need to develop appropriate theoretical models often occur in our research. When this happens, we enjoy spending a reasonable amount of time on them, making sure that we do not deviate from our major research goals.
  • Behavioral Logics, the subject of Grigore's PhD thesis, often show up in one form or another in our research. The core of these logics is the behavioral equivalence, which can be regarded as a formalization of the informal notion of indistinguishability under experiments.
  • Institutions are an abstract, categorical concept formalizing the informal notion of a logical system. Many results that hold for different logics can be proved at the general level of an institution, especially results related to modularization, compositionality and formal interoperability.
Personal tools