L'uso di metodi formali per lo studio di un sistema può portare all'applicazione di differenti formalismi e tecniche di analisi a seconda delle proprietà che si vogliono indagare, sia per quanto riguarda le singole componenti sia per l'intero sistema.

 

 

Le conferenze iFM si pongono come obiettivo quello di spingere la ricerca a usare approcci ibridi per l'analisi e la modellizzazione formale dei sistemi e ne vagliano tutti gli aspetti, dall'architettura del linguaggio alle tecniche di analisi e verifica e alla loro integrazione nei software.

 

 

http://ifm2017.di.unito.it/