The goal of this talk is to describe some experiences done in the past 4-5 years by the group at IRST in the application of formal methods to safety critical systems. We will describe some industrial projects we have been working on. For each project we will briefly highlight the application area, the problem solved, the methodology, the techniques and the tools used. We will also discuss some of the lines of research and technology development that we are currently pushing.

Last modified: Wed Apr 26 18:03:20 MET DST 2000