Repositories list

• team-smv

  Public
  Team "Semantics, Modeling & Verification"

  HTML

  •1•0•4•0•Updated Jul 16, 2024Jul 16, 2024

• drone-control

  Public
  student-projectsemester-project2018

  2•4•3•0•Updated Nov 9, 2021Nov 9, 2021

• outils-formels-ex9

  Public
  Swift

  •0•0•0•0•Updated Nov 13, 2020Nov 13, 2020

• bash

  Public
  Shell

  •0•0•0•0•Updated Nov 4, 2019Nov 4, 2019

• modelisation-verification-2018

  Public
  Cours de Master: Modélisation et Vérification

  teaching2018modelisation-verification

  Swift

  •2•0•16•0•Updated Sep 20, 2019Sep 20, 2019

• BSc-educative-gaming-2019

  Public
  educative-gaming BSc Project

  bachelor-projectstudent-project2019

  Python

  •1•2•0•0•Updated Jun 30, 2019Jun 30, 2019

• BSc-sensor-machine-learning

  Public
  Bachelor project for machine learning in the plant system

  bachelor-projectstudent-project2019

  Jupyter Notebook

  •0•2•0•0•Updated Jun 24, 2019Jun 24, 2019

• outils-formels-modelisation-2018

  Public
  Cours de Bachelor : Outils Formels de Modélisation

  teaching

  Swift

  •52•9•3•1•Updated Jan 23, 2019Jan 23, 2019

• mcc4mcc

  Public
  Model Checker Collection for the Model Checking Contest @ Petri nets

  model-checkingpnmlpetri-net

  Python

  •

  MIT License

  •0•4•6•0•Updated Oct 31, 2018Oct 31, 2018

• outils-formels-modelisation

  Public
  Cours de Bachelor : Outils Formels de Modélisation

  Swift

  •44•20•5•0•Updated Sep 24, 2018Sep 24, 2018

• petrisport

  Public
  A tool to compute some characteristics on sport Petri nets

  researchpetri-nets2018

  JavaScript

  •

  MIT License

  •0•1•3•0•Updated Jun 26, 2018Jun 26, 2018

• semantique

  Public
  Cours de Bachelor : Sémantique des Langages Informatiques

  teaching

  Prolog

  •1•6•6•0•Updated Jun 8, 2018Jun 8, 2018

• AurelienCoet-plantlogger-2019

  Public
  Data logger for a plant management system

  machine-learningcreststudent-project+ 2msc2018

  Python

  •

  Apache License 2.0

  •1•0•0•0•Updated May 30, 2018May 30, 2018

• blog-smv

  Public
  Official blog of the Semantics, Modeling & Verification team

  HTML

  •0•0•0•0•Updated Mar 27, 2018Mar 27, 2018

• cuso-winter-school

  Public
  CUSO Winter School in Computer Science

  4•1•0•0•Updated Feb 8, 2018Feb 8, 2018

• modelisation-verification-2017

  Public archive
  Cours de Master: Modélisation et Vérification

  teaching2017modelisation-verification

  Lua

  •1•0•12•0•Updated Jan 25, 2018Jan 25, 2018

• outils-formels-avances

  Public
  Cours de Master : Outils Formels Avancés

  0•0•0•0•Updated Sep 18, 2017Sep 18, 2017

• petrinet

  Public
  Petri net simulator targeting C programs

  Lua

  •

  MIT License

  •0•0•0•0•Updated May 5, 2017May 5, 2017

• swift-exercises

  Public
  Exercises and Homework on Swift

  Swift

  •

  MIT License

  •12•2•3•15•Updated Mar 19, 2017Mar 19, 2017