FML Group - Research Areas


Formal techniques are becoming extremely important for the description and analysis of complex software systems. To this end, we perform our research activities mainly by studying and developing formal methods, languages, and automatic tools.
Some of the recent and past research topics are:

  • Integrated tools and methods for the specification and validation of complex, adaptive, or critical systems;
  • Model checking techniques (e.g. we developed and maintain the Zot model checker, which got a Formal Methods Europe association Small Project grant in 2007);
  • SAT- and SMT-based verification techniques in general
  • Picture languages and 2D grammars and formalisms (e.g. Tile-based Grammars and Systems, Wang Tiles)
  • Associative descriptions of programming languages

We are at DEI, Politecnico di Milano, and our activity is mainly performed in collaboration the following research groups:

  • DEpendable Evolvable Pervasive Software Engineering (DEEP-SE) group,  head: Carlo Ghezzi
     
  • Formal Languages & Compilers (FL&C) group, head: Stefano Crespi Reghizzi