les évolutions possibles et les propriétés souhaitées d'un système, logiciel ou matériel. Associé à un model checker (
TLC... prototypage. L'objectif de ce stage, après s'être familiarisé avec TLA+ et les outils associés (
TLC, PlusCal), sera de modéliser... -
Voir cette offre d'emploi