Draft TERMINATOR - the creation of methods and software for automatic proof of the fact that the commercial software component can not hang. ###>Projet de TERMINATOR - la création de méthodes et de logiciels pour la preuve automatique du fait que le composant logiciel commercial ne peut se bloquer.