Débogage de modèles B événementiels en utilisant le plugin ProB disprover

  • Olivier Ligot

    Student thesis: Master typesMaster in Computer science

    Abstract

    Date of Award2007
    Original languageFrench
    Awarding Institution
    • University of Namur
    SupervisorWim Vanhoof (Supervisor)

    Cite this

    Débogage de modèles B événementiels en utilisant le plugin ProB disprover
    Ligot, O. (Author). 2007

    Student thesis: Master typesMaster in Computer science