Formal Methods Group

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

foundations of algebraic and logical specification techniques, with special emphasis on specification language design, advanced specification formalisms, relating different logical formalisms and investigating formalism independence with the help of categorical methods;
specification techniques for state-based, reactive and concurrent systems, with different underlying models (labelled transition systems, state-as-algebras,modules with state and overriding, distributed labelled transition systems) and at different levels of abstraction (from requirement to design);
semiformal methods, integrating formal and informal aspects, for the development of concurrent systems, with experimental applications to concrete industrial case studies.

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