Formal Methods and Tools (FMT)

Head: Maurice Henri ter Beek

Home

Web Site: http://fmt.isti.cnr.it/

The Formal Methods and Tools (FMT) lab has longstanding experience in the development and application of formal notations, methods and software support tools for the specification, design and verification of complex systems. These efforts are typically based on foundational concepts and techniques such as process algebras, temporal, probabilistic, stochastic, and spatial logics, and model checking. The FMT lab is also active in requirements engineering and various branches of software engineering, and in the areas of computer ethics and information technology and society. Important application fields concern the railway domain and, recently, medical image analysis.

The FMT lab has a main role in the association FME (Formal Methods Europe), ERCIM (European Research Consortium for Informatics and Mathematics), the ERCIM Working Group FMICS (Formal Methods in Industrial Critical Systems), and DITECFER (Distretto Tecnologico Ferroviario della Regione Toscana).

Over the years, the FMT lab has organised numerous conferences on formal methods, requirements engineering and software (product line) engineering, among which FM, FMICS, FORTE, iFM, SEFM, ABZ, AVoCS, REFSQ, VaMoS and SPLC.

People

News

17th International Conference on the Quality of Information and Communications Technology (QUATIC 2024)

Events

2024-03-20 h.07:31

QUATIC is a forum for disseminating advanced methods, techniques and tools for supporting quality approaches to ICT engineering and management. Practitioners and researchers are encourage...
Franco Mazzanti and Frédéric Lang have won gold medals at the RERS 2019 Parallel Challenges

News

2019-04-19

Link: http://rers-challenge.org/2019/index.php?page=results Franco Mazzanti (FMT Lab, ISTI) and Frédéric Lang (CONVECS, Grenoble, France) recently won all gold medals for the "Parallel...
Franco Mazzanti and Frédéric Lang have won gold medals at the RERS 2019 Parallel Challenges

Achievements

2019-04-19

Franco Mazzanti (FMT Lab, ISTI) and Frédéric Lang (CONVECS, Grenoble, France) recently won all gold medals for the "Parallel CTL" and "Parallel LTL" tracks of the RERS 20...
Distinguished Research Paper Award at 26th IEEE International Requirements Engineering Conference (RE'18), August 20 - 24, 2018 Banff, Canada

Achievements

2018-10-09

The paper "Learning from Mistakes An Empirical Study of Elicitation Interviews performed by Novices" by Muneera Bano, Didar Zowghi, Alessio Ferrari, Paola Spoletini, Beatrice Donati) h...
Eleven innovations developed in European Projects with ISTI Partner or Coordinator among the List of the EC Innovation Radar

News

2018-04-19

The Innovation Radar (IR) is a new initiative of the European Commission that focuses on the identification of high-potential innovations in the ICT FP7, CIP and H2020 projects and the ...
IEEE Requirements Engineering Conference 2015 Best Paper Award

Achievements

2015-08-16

A. Ferrari, P. Spoletini and S. Gnesi are the recipients of the IEEE RE Paper Award 2015.
CfP WWV 2015: 11th Workshop on Automated Specification and Verification of Web Systems

Events

2015-06-23 h.09:00

IMPORTANT DATES Abstract submission March 18, 2015 Paper submission March 25, 2015 Notification of acceptance May 8, 2015 Camera ready versions ...
Tommaso Bolognesi - Third Prize in the FQXi Essay Contest 2015

Achievements

2015-06-12

Tommaso Bolognesi has been awarded the 3rd prize (ex-aequo) in the FQXi Essay Contest 2015 "Trick or Truth: the mysterious connection between physics and mathematics". His essay "Let’s...
Tommaso Bolognesi - 4th Prize in the FQXi Essay Contest 2014

Achievements

2014-09-01

Tommaso Bolognesi has been awarded the 4th prize in the FQXi Essay Contest 2014 'How Should Humanity Steer the Future?' The title of the essay is: 'Humanity is much more than the sum o...
9th International Conference on Integrated Formal Methods (iFM 2012)

Events

2012-06-18

The iFM conference series seeks to further research into the combination of (formal and semi-formal) methods for system development, regarding modeling and analysis, and covering all ...
T. Bolognesi - 4th prize in the Essay Contest 'Reality: Digital or Analog'?

Achievements

2011-06-23

On June 6, 2011, Tommaso Bolognesi (ISTI) has been awarded the 4th prize in the Essay Contest 'Reality: Digital or Analog'? launched in November 2010 by FQXi, the Foundational Questio...
Best paper at FMICS 2010

Achievements

2010-09-20

Best paper at FMICS 2010: "The Metro Rio ATP case study" by Alessio Ferrari, Alessandro Fantechi, Daniele Grasso, and Gianluca Magnani. Published by Springer in LNCS 6371.
Eighth IEEE International Conference on Software Engineering and Formal Methods

Events

2010-09-13

The Conference is hosted by Formal Methods && Tools Lab (FM&&T) at the Institute of Information Science and Technologies of the Italian National Research Council (ISTI-CN...
Best Paper Award alla 2nd International Conference on Internet and Web Applications and Services (ICIW'07)

Achievements

2007-05-13

A. Bucchiarone, M. ter Beek e S. Gnesi hanno ricevuto il riconoscimento per l'articolo "Web Service Composition Approaches: From Industrial Standards to Formal Methods".