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
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.