Tutorial on Formal Methods for Distributed and Cooperative Systems

摘要

This tutorial is thus intended for young researchers or engineers to have an overview of the specification process. The first part is concerned with specification issues. Indeed, writing a specification from scratch is a difficult task for a non-experienced person. The criteria pointed out and the specification design methodology should help in choosing the appropriate formalism and starting the design of a system. The second part is devoted to analysis issues. A complex model is intrinsically difficult to analyse. It is thus important to choose the appropriate technique to prove the expected properties of the system. Some advanced techniques are also shortly presented, which give a feeling on how to handle large systems. Finally, the third part shows how these techniques have been succesfully applied to real systems.