DISI Dipartimento di Informatica e Scienze dell'Informazione


This page is under development.


Research Group in

Formal Methods for Software Development

The use of formal methods, wisely integrated with other rigorous, but not necessarily formal, software engineering techniques, may significantly enhance software quality. The research carried on in this group is aiming at bridging the gap between theory and practice and consequently is concerned with foundations, methods and experimental applications. The techniques adopted are mainly logical and loosely algebraic, but at the methodological level they are integrated with informal engineering techniques. The main topics of interest are

  • Persons

  • Current research activities

  • Research links

  • Selected Publications







    Please send suggestions and comments to: Last Updated:
    Maura Cerioli cerioli@disi.unige.it
    29 April, 1996