The Formal Methods and Tools Group of ISTI-CNR is active in the fields of development and application of formal notations, methods and software support tools for the specification, design and verification of complex computer systems.

The efforts of this group at ISTI-CNR are based mostly on the foundational concepts and techniques of process algebras, temporal logic and model checking.

Main contributions of ISTI-CNR to SENSORIA are in the areas of quantitative analysis, automated verification, and the finance and telecommunication application domains.