Formal Methods && Tools Group

Research topics of FMT

  • Verification tools and techniques
  • Requirements Engineering
  • Natural Language Processing
  • Empirical Software Engineering
  • Human factors in Software Engineering
  • Formal approaches to Software Product Line Engineering
  • Formal modelling and verification of spatially distributed systems
  • Formal modelling and verification of service-oriented systems
  • Quantitative formal methods for Collective Adaptive Systems
  • Modeling and analysis of railway control systems
  • Formal approaches to medical image analysis
  • Formal modelling of business processes