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