Formal Methods and Tools (FMT)

Responsabile: Maurice Henri ter Beek

Home

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

Il laboratorio di Formal Methods e Tools (FMT) ha una lunga esperienza nello sviluppo e nell'applicazione di formalismi, metodi e strumenti software di supporto alla specifica, progettazione e verifica di sistemi complessi. Questi sforzi si basano in genere su concetti e tecniche di base come algebre di processo, logiche temporali, probabilistiche, stocastiche e spaziali e model checking. Il laboratorio FMT è inoltre attivo nel requirements engineering e in vari settori dell'ingegneria del software, nonché nei settori dell'etica informatica, dell'informatica e della società. Importanti campi di applicazione riguardano il dominio ferroviario e, recentemente, l'analisi delle immagini mediche.

Il laboratorio FMT ha un ruolo principale nell'associazione FME (Formal Methods Europe), ERCIM (European Research Consortium for Informatics and Mathematics), ERCIM Working Group FMICS (Formal Methods in Industrial Critical Systems) e DITECFER (Distretto Tecnologico Ferroviario Ferroviario della Regione Toscana).

Nel corso degli anni, il laboratorio FMT ha organizzato numerose conferenze su metodi formali, ingegneria dei requisiti e ingegneria del software e delle linee di prodotti software, tra cui FM, FMICS, FORTE, iFM, SEFM, ABZ, AVoCS, REFSQ, VaMoS e SPLC.

Persone

News

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

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

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

In Evidenza