La taille des syst mes logiciels actuels augmente consid rablement. Cela rend la v rification et la validation de ces syst mes de plus en plus difficiles. Non seulement la taille des syst mes augmente, mais un nombre croissant de fonctionnalit s et de formalismes doivent tre d velopp s et pris en charge pour mod liser et analyser les applications r elles. Chaque syst me est repr sent sous la forme d'un mod le. Il existe de nombreuses notations de...