Résumé:
La vérification formelle des systèmes complexes constitue aujourd’hui un enjeu
majeur dans de nombreux domaines de la société humaine. En effet l’employant des
méthodes de spécification et vérification formelle, est assisté par des outils informatiques qui
rendre l’analyse de ces systèmes fiables et garanties, et assure le bon coût de performance.
Notre grand intérêt est la vérification formelle des systèmes complexes en
introduisant une approche modulaire, et nous allons présenter une technique de compilation
qui permet de traduire le langage LOTOS, et respecte l’idée de modularité.
La compilation modulaire (séparer) est indispensable pour le développement des
applications importantes (en taille !), et la façon pour un programme/projet de taille plus
grande, elle suppose un découpage de l’application en modules compilables séparé. Chaque
module est composé d’un ensemble des processus regroupés dans un fichier avec les
déclarations nécessaires et son programme principal.
