Formal Modelling and Analysis of Complex Systems
This project is based on the use of formal methodologies
for the modelling and analysis of complex systems, which may involve
one or more of the following components: software, hardware,
humans, groupware and bioware.
 
The projects exploits existing modelling methodologies, based on transition systems,
process calculi and rewrite systems, and analysis tools based on model-checking.
The analysis involves both qualitative and quantitative aspects of systems
and also aims at the integration between model-checking and theorem-proving
methodologies.
Particular emphasis is given at the concept of interaction, which may involve
software/hardware and humans/groupware (interactive systems), or individual
molecules or cells in biological systems.
In fact, interaction causes the emergence of system behaviours that
affect the evolution, safety and security of the overall system.