fredokun/pave — pull request #3 by vincent-botbol (2013-11-24 21:49:16+00:00)
Title: Mu calculus

Copie du mail :
Au niveau de l'avancement du projet :
nous avons implémenté la méthode locale de model-checking, nous avons également commencé la globale.

Le dossier 'examples' contient deux sources pavé : 'mu_calculus.ccs' et 'mu_calculus-glob.ccs' qui contiennent un certain nombre d'exemples.

Nous avons également essayé d'ajouter des explications en cas de non-satisfaction d'une formule mais l'angle dans lequel nous avons aborder le problème n'étant pas trivial et le temps manquant, nous n'avons pas eu la possibilité de terminer cette extension.