ChronoCube : Model checking de systèmes paramétrés et temporisés

par Mattias Roux

Projet de thèse en Informatique

Sous la direction de Sylvain Conchon.

Thèses en préparation à Paris Saclay , dans le cadre de Sciences et Technologies de l'Information et de la Communication , en partenariat avec LRI - Laboratoire de Recherche en Informatique (laboratoire) , VALS - Vérification d'Algorithmes, Langages et Systèmes (equipe de recherche) et de Université Paris-Sud (établissement de préparation de la thèse) depuis le 01-10-2015 .


  • Résumé

    Le but de cette thèse est d'étendre le model checker Cubicle afin d'analyser la sûreté de systèmes avec compteurs

  • Titre traduit

    ChronoCube : Model checking of timed and parameterized systems


  • Résumé

    The goal of this Ph.D. is to extend Cubicle, a model checker, to analyse the safety of counting systems.