@cui-unige

Centre Universitaire d'Informatique - Université de Genève

  • Cours de Bachelor : Outils Formels de Modélisation

    Swift 13 62 Updated Oct 16, 2018
  • Cours de Master: Modélisation et Vérification

    Swift 1 1 1 issue needs help Updated Oct 15, 2018
  • Team "Semantics, Modeling & Verification"

    Unlicense Updated Sep 28, 2018
  • Cours de Bachelor : Outils Formels de Modélisation

    Swift 20 46 1 issue needs help Updated Sep 24, 2018
  • 3 1 1 issue needs help Updated Sep 18, 2018
  • A tool to compute some characteristics on sport Petri nets

    JavaScript MIT Updated Jun 26, 2018
  • Model Checker Collection for the Model Checking Contest @ Petri nets

    Python 2 1 MIT Updated Jun 26, 2018
  • Cours de Bachelor : Sémantique des Langages Informatiques

    Prolog 7 Updated Jun 8, 2018
  • Official blog of the Semantics, Modeling & Verification team

    HTML Updated Mar 27, 2018
  • CUSO Winter School in Computer Science

    3 Updated Feb 8, 2018
  • Cours de Master: Modélisation et Vérification

    Lua 2 Updated Jan 25, 2018
  • Cours de Master : Outils Formels Avancés

    Updated Sep 18, 2017
  • Petri net simulator targeting C programs

    Lua MIT Updated May 5, 2017
  • Exercises and Homework on Swift

    Swift 1 15 MIT Updated Mar 19, 2017