Professor Jean-Raymond Abrial
(Swiss Federal Institute of Technology, Zurich)
In this talk, the basic mathematical requirements needed to formally construct and prove complex software systems are presented. It will be illustrated with an example dealing with distributed computations.
