Sujet : Plateforme pour jeux avec stratégies

Responsable : Alain Griffault

Téléphone : 05 40 00 69 15

e-mail :Alain.Griffault@labri.fr

Présentation du sujet : Dans le cadre de l'UE Conceptions Formelles, vous avez modélisé le Jeu de Nim en AltaRica, puis calculé avec le model-checker acheck la stratégie gagnante.

L'objectif du projet est de proposer à travers un interface web l'accès à des jeux à deux joueurs.

Parmi les fonctionnalités utilisateurs demandées : Parmi les fonctionnalités administrateurs demandées : Le jeu de Nim et le 3 Spot Game devront être implémentés à la fin du projet.

Mot-clés : Jeux, stratégies gagnantes.