DSpace Repository

Browsing by Subject "Méthode B; développement formel ; vérification formelle ; Atelier B ; Raffinement ; Machine abstraite."

Browsing by Subject "Méthode B; développement formel ; vérification formelle ; Atelier B ; Raffinement ; Machine abstraite."

Sort by: Order: Results:

  • Spécification et vérification d’un système d’ascenseur par la méthode B 
    BENBOUDINA, Imane (FACULTE DES MATHEMATIQUES ET DE L’INFORMATIQUE DEPARTEMENT D’INFORMATIQUE, 2018)
    Notre travail entre dans le cadre de génie logiciel. Cette mémoire s’intéresse à la spécification et vérification formelle des logiciels. Nous avons utilisé les méthodes formelles pour développer un système informatique. Nous ...