Consiglio Nazionale delle Ricerche

    Franco Mazzanti

Senior Research Scientist
           Istituto di Scienza e Tecnologie dell'Informazione

Member of the Formal Methods and Tools Laboratory

Franco Mazzanti graduated cum laude in Computer Science at the University of Pisa in 1982. Since 1988 he is a researcher of the Italian National Research Council (CNR) at the Istituto di Scienza e Tecnologie dell'Informazione (ISTI)" in Pisa.

His research interests are in the field of software engineering, and in particular in methods for the evaluation of the software reliability and predictability. His current activity is focused on the implementation of advanced "on the fly" model checking techniques, which has led to the development of a family of model checkers (FMC, CMC, UMC, VMC) constituting the online, open access, KandISTI verification framework. All these tools use a common verification engine to deal with different formalisms form different domains, such as Service Oriented Calculi, UML statechart diagrams and Modal Transition Systems for Software Product Lines. (see KandISTI, and fmc, umc, vmc, cmc)

Some publications

Contact Info

   Franco Mazzanti
   Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo"
   Area della Ricerca CNR di Pisa
   Via G. Moruzzi, 1
   56124 - Pisa
   Tel: + 39 050 315 2919
   Fax: + 39 050 315 2810
   E-mail: franco.mazzanti at 

Last Updated: August, 2016