Skip to content

ccoquand/tpM2istrMc

Repository files navigation

tp_m2istr_mc

Ce dépôt contient le sujet du TP (tp_m2istr_mc.pdf) ainsi que les fichier Tina à utiliser :

  • systeme_trains.ndr
  • grotte0_v1.ndr
  • grotte0_v2.ndr

Le fichier ctl.mmc contient les lignes de commande à exécuter dans muse pour pouvoir utiliser les opérateurs CTL.

About

Dépôt du TP d'introduction au model cheking

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages