• Algorithm and model for distributed
  • Formal methods
  • Automated reasoning

Formal verification provides methods and tools to ensure that a system is working properly. This theme is at the intersection of many fields, such as system and property modelling, logic to express the coherence between systems and properties to be verified, and many other tools involving logic and automata.