The research in the Language-Based Technology section deals with the modelling, analysis, and realisation of information systems using language-based techniques and tools. Current main application domains are embedded systems and service-oriented computing, but include also other concurrent, distributed, or mobile systems.
Modelling. This research concerns the development of suitable formal models of systems in our application domains. The models are dsigned to express properties concerning a system's reliability, such as functional correctness, security, safety, and performance guarantees. Modelling formalisms include process algebras and logics.
Analysis. This work involoves the development of analysis techniques to automatically establish properties of systems expressed using formal models. The group's main competences include static analysis and model checking.
Realisation. This work supports the practical realisation of reliable systems by the development and application of advanced analysis tools. Main interests include prototypes for analysis frameworks and domain-specific abstract machines.