Description of the laboratory
The FM&SE Lab (Formal Methods and Software Engineering Laboratory) research group directed by Prof. Elvinia Riccobene is characterized by a solid experience on the formal methods field. The Lab has a strong collaboration with the Dipartimento di Ingegneria of the University of Bergamo. The FM&SE Lab research group has worked both on proposing new modelling formalisms and analysis techniques, and on applying formal methods to the fields of specification and analyses of complex systems, formal analysis of security protocols and security policies in the context of highly distributed and mobile systems, dynamic/behavioural verification of system properties, suggesting their integration with the model-driven engineering approach. FM&SE Lab major ongoing research lines include the following activities:
  • ASM-based model development and analysis
  • ASMs and Model-driven engineering
  • Modelling and analysis of embedded distributed systems
  • Modelling Service Oriented Applications