CNR has among its statutory purposes the transfer of research results, expertise and know-how to the industrial community. ISTI also promotes the scientific education of students, post-graduates and young researchers. Members of the staff lecture at the University of Pisa and other Italian universities, holding courses in computer sciences and engineering.
The ISTI library was established in 1955, and is thus one of the oldest Computer Science libraries in Europe. The library currently contains more than 8000 books, 600 (400 active) serial collections and 19 abstracting journals. In addition to its card catalogue organized according to the cataloguing rules of the US Library of Congress, a number of databases and on-line catalogues are available to the user.
The group involved in this proposal includes senior researchers from the ISTI department "Methods and Tools for Software Systems" and from the Universities of Florence and Pisa. The activities of the department currently involve the study and development of models, methods and tools for the specification, design and validation of concurrent, distributed and mobile software systems, employing different approaches based on formal methods, static analysis and testing techniques. The group involved in this proposal has matured significant experience in the use of formal methods to support the software development of concurrent and mobile systems.