Vers Une D?marche de V?rification Formelle D Architectures Logicielles